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

Żadna biblioteka nie ma tej książki.

Wczytuję…

Biblioteki: Program extraction from proofs of weak head normalization, Małgorzata Biernacka | gdziejestksiazka.pl