scientific article; zbMATH DE number 6125943

MaRDI QIDQ4902550zbMATH OpenFDO

Authors

Publication date 16 January 2013

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Combinatory logic and lambda calculus (03B40)

Cited in

(1)

• scientific article; zbMATH DE number 5309222 (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 Q4902550)