Suche

An Implementation of The First-Order Constrained Lambda Calculus via Explicit Substitutions

Alexander Knapp, Luis Mandel

Interner Bericht, Institut für Informatik, Ludwig-Maximilians-Universität München, 1997.


Downloads: