Some lambda calculi with categorical sums and products

From MaRDI portal
Publication:5055791

DOI10.1007/978-3-662-21551-7_12zbMath1503.03024OpenAlexW1593641477MaRDI QIDQ5055791

Daniel J. Dougherty

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-21551-7_12




Related Items (10)



Cites Work


This page was built for publication: Some lambda calculi with categorical sums and products