Тема, жанр, tags: Théorie de la démonstration » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Théorie de la démonstration

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