scientific article; zbMATH DE number 919545
From MaRDI portal
Publication:4890393
zbMATH Open0852.03008MaRDI QIDQ4890393FDOQ4890393
Publication date: 29 October 1996
Title of this publication is not available (Why is that?)
Cited In (4)
Recommendations
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- The Intensional Lambda Calculus π π
- Finitary Corecursion for the Infinitary Lambda Calculus π π
- Infinitary lambda calculus π π
- Applications of infinitary lambda calculus π π
- Highlights in infinitary rewriting and lambda calculus π π
- Infinitary Lambda Calculi from a Linear Perspective π π
- An Introduction to the Lambda Calculus π π
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 Q4890393)