Book serie: / Книги серии: Cambridge tracts in theoretical computer science 51 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Cambridge tracts in theoretical computer science 51

book Derivation and computation: taking the Curry-Howard correspondence seriously

Derivation and computation: taking the Curry-Howard correspondence seriously

djvu

Author: Simmons Harold
Language: English
Year: 2000

00

07.02.2024

0

0