Typed Lambda Calculi and Applications

DOI10.1007/b135690zbMath1114.68030OpenAlexW2501230561MaRDI QIDQ5704020

Could not fetch data.

Publication date: 11 November 2005

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b135690

Mathematics Subject Classification ID

Could not fetch data.