Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705899
DOI10.1007/b106850zbMath1119.03023OpenAlexW1588712707MaRDI QIDQ5705899
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106850
Related Items (4)
Nominal abstraction ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax ⋮ A Simple Nominal Type Theory ⋮ The lambda-context calculus (extended version)
Uses Software
This page was built for publication: Foundations of Software Science and Computational Structures