C. P. J. Koymans

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1982

1 C. P. J. Koymans: Models of the Lambda Calculus Information and Control 52(3): 306-332 (1982)