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

Date
2006
Author
Taylor, Amelia V.
Metadata
Show full item record
URI
http://hdl.handle.net/10399/119
Collections