The Simply Typed Theory ofβ-conversion Has No Maximum Extension
Franco Barbanera, Stefano BerardiVolume:
139
Year:
1997
Language:
english
Pages:
5
DOI:
10.1006/inco.1997.2663
File:
PDF, 226 KB
english, 1997