Representation of Logic, Data Types and Recursive Functions (1989)

by E Barendsen
Venue:in Typed Lambda Calculi, Doctoraal Scripte, Faculteit Wiskunde en Informatica, Katholicke Universiteit