Automata, Languages and Programming
From MaRDI portal
Publication:5466528
DOI10.1007/b99859zbMath1099.03058OpenAlexW2505584480MaRDI QIDQ5466528
No author found.
Publication date: 24 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b99859
Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Intuitionistic mathematics (03F55)
Related Items (7)
Is sized typing for Coq practical? ⋮ Deep induction: induction rules for (truly) nested types ⋮ Unnamed Item ⋮ Polynomial functors and polynomial monads ⋮ Partiality, State and Dependent Types ⋮ Continuous Functions on Final Coalgebras ⋮ Containers: Constructing strictly positive types
This page was built for publication: Automata, Languages and Programming
