Computer Science Logic

DOI10.1007/11538363MaRDI QIDQ5394572zbMATH OpenOpenAlexFDO

Authors Fer-Jan De Vries, Paula Severi

Publication date 1 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11538363

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• The infinitary lambda calculus of the infinite eta Böhm trees
• Order-incompleteness and finite lambda reduction models
• On infinite -expansion
• Infinitary lambda calculi and böhm models
• Models of -calculus and the weak MSO logic

Cited in

(5)

• On infinite -expansion
• Highlights in infinitary rewriting and lambda calculus
• A new coinductive confluence proof for infinitary lambda calculus
• scientific article; zbMATH DE number 7168147 (Why is no real title available?)
• Typed Lambda Calculi and Applications

This page was built for publication: Computer Science Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5394572)