Pages that link to "Item:Q1805041"
From MaRDI portal
The following pages link to Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings (Q1805041):
Displaying 7 items.
- Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings (Q684571) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings (Q1027645) (← links)
- (Q3454218) (← links)
- In the Search of a Naive Type Theory (Q3499754) (← links)
- (Q5292998) (← links)
- Congruence types (Q6560160) (← links)