scientific article; zbMATH DE number 2090071

zbMATH Open1169.03329MaRDI QIDQ4808745FDOQ4808745

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (14)

• On infinite \(\eta\)-expansion
• Infinitary lambda calculi and böhm models
• Substitution in non-wellfounded syntax with variable binding
• Infinitary combinatory reduction systems
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)