scientific article; zbMATH DE number 1183235

MaRDI QIDQ3837983zbMATH OpenFDO

Authors

Publication date 6 January 1999

zbMATH Keywords

ConferenceNancy (France)ProceedingsSpecial issueTyped lambda-calculi

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• scientific article; zbMATH DE number 5167089
• scientific article; zbMATH DE number 2213891
• Theoretical aspects of computer software. 2nd international Symposium TACS '94, Sendai, Japan, April 19--22, 1994. Proceedings
• Special issue on mathematics of program construction. 4th international conference, Island of Marstrand near Göteborg, Sweden, June 1998

Cited in

(9)

• Rewriting techniques and applications. Bordeaux, France, May 25--27, 1987. Proceedings. (2nd International Conference)
• Mathematical foundations of programming language semantics. 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8--10, 1987. Proceedings
• Theoretical aspects of computer software. 2nd international Symposium TACS '94, Sendai, Japan, April 19--22, 1994. Proceedings
• scientific article; zbMATH DE number 1313935 (Why is no real title available?)
• scientific article; zbMATH DE number 1401971 (Why is no real title available?)
• scientific article; zbMATH DE number 5167089 (Why is no real title available?)
• scientific article; zbMATH DE number 2213891 (Why is no real title available?)
• A lambda calculus satellite
• Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings

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 Q3837983)