scientific article; zbMATH DE number 2090071

MaRDI QIDQ4808745zbMATH OpenFDO

Authors Fer-Jan De Vries, Paula Severi

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2378/23780159.htm

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• The infinitary lambda calculus of the infinite eta Böhm trees
• scientific article; zbMATH DE number 2185658
• Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
• Infinitary lambda calculus
• Infinitary lambda calculi and böhm models

Cited in

(14)

• On infinite -expansion
• Substitution in non-wellfounded syntax with variable binding
• Infinitary lambda calculi and böhm models
• Infinitary combinatory reduction systems
• Processes, Terms and Cycles: Steps on the Road to Infinity
• scientific article; zbMATH DE number 7199590 (Why is no real title available?)
• The infinitary lambda calculus of the infinite eta Böhm trees
• Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
• Infinitary lambda calculus and discrimination of Berarducci trees.
• On modularity in infinitary term rewriting
• Highlights in infinitary rewriting and lambda calculus
• An abstract Böhm-normalization
• Clocked lambda calculus
• scientific article; zbMATH DE number 7204439 (Why is no real title available?)

This page was built for publication:

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