Program extraction from proofs of weak head normalizationMałgorzata Biernacka

Program extraction from proofs of weak head normalization

Name: Program extraction from proofs of weak head normalization
Author: Małgorzata Biernacka

0 bibliotek1 wydanie · 2005

O książce

Wczytuję…

Program extraction from proofs of weak head normalization, Małgorzata Biernacka — w których bibliotekach | gdziejestksiazka.pl