Type Theory and Programming (1994)
by
Thierry Coquand
,
Bengt Nordström
,
Jan M. Smith
,
Björn von Sydow
| Citations: | 21 - 2 self |
Document Versions
| Type Theory and Programming –Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow — 1994 |
| Type Theory and Programming –Thierry Coquand , Bengt Nordström, Jan M. Smith, Björn von Sydow — 1994 |
| Type Theory and Programming –Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow — 1994 — EATCS |
