Applications of Plotkin-terms: partitions and morphisms for closed terms
Journal of Functional Programming
Marginalia to a Theorem of Jacopini
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Böhm's theorem, church's delta, numeral systems, and ershov morphisms
Processes, Terms and Cycles
Marginalia to a Theorem of Jacopini
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Hi-index | 0.00 |