International Conference on Typed Lambda Calculi and Applications (1993 Utrecht, Netherlands)

1 books in the database