Using typed lambda calculus to implement formal systems on a machine
Arnon Avron, Furio Honsell, Ian A. Mason, Robert PollackVolume:
9
Language:
english
Pages:
46
DOI:
10.1007/bf00245294
Date:
December, 1992
File:
PDF, 1.91 MB
english, 1992