Type Theory and Programming (1994)

by Thierry Coquand , Bengt Nordström , Jan M. Smith , Björn von Sydow
Citations:21 - 2 self