Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday

DOI10.1017/S0960129515000274zbMATH Open1365.00034WikidataQ122876333 ScholiaQ122876333MaRDI QIDQ5268996

Author name not available (Why is that?)

Publication date: 14 June 2017

Published in: (Search for Journal in Brave)

Mathematics Subject Classification ID

No records found.

This page was built for publication: Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5268996)