Computer Science Logic
From MaRDI portal
Publication:5311273
DOI10.1007/b100120zbMath1095.68026MaRDI QIDQ5311273
Publication date: 22 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100120
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
03B40: Combinatory logic and lambda calculus
Related Items
Unnamed Item, Unnamed Item, Type soundness for path polymorphism, Precise subtyping for synchronous multiparty sessions, Typed path polymorphism, The Recursive Union of Some Gradual Types