Skip to content

The Lambda Calculus as an Abstract Data Type.

Pierre Lescanne

Year1995
ProceedingsCOMPASS/ADT

Browse the full COMPASS paper archive.