Types for Proofs and Programs

International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers


Lecture Notes in Computer Science  (996)
Engels
(0 recensies)
Types for Proofs and Programs, Peter Dybjer ; Bengt Nordström ; Jan Smith - Paperback - 9783540605799
Samenvatting
Lees Samenvatting Minder Samenvatting
Specificaties
Alle specificaties Minder specificaties
Recensies
-
Nog geen recensies. Wees de eerste!

Hostname: pro-mbooks3