An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
Furio Honsell, Simonetta Ronchi Della RoccaVolume:
45
Year:
1992
Language:
english
Pages:
27
DOI:
10.1016/0022-0000(92)90040-p
File:
PDF, 1.28 MB
english, 1992