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