A survey of some useful partial order relations on terms of the lambda calculus

Publisher Website

6 December 2005

book chapter
Published by Springer Nature

p. 83-95
https://doi.org/10.1007/bfb0029520

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Continuous lattices
Lecture Notes in Mathematics, 1972