Back to Search Start Over

A unifying framework for Lambda Calculi and their extensions with explicit substitution operators that is useful for verifying confluence

Authors :
Taylor, Amelia V.
Publication Year :
2006
Publisher :
Heriot-Watt University, 2006.

Subjects

Subjects :
511.35

Details

Language :
English
Database :
British Library EThOS
Publication Type :
Dissertation/ Thesis
Accession number :
edsble.436051
Document Type :
Electronic Thesis or Dissertation

Tools

Authors Abstract Subjects Details