Typed Lambda Calculi and Applications
From MaRDI portal
Publication:5704032
DOI10.1007/b135690zbMath1114.68062OpenAlexW2501230561MaRDI QIDQ5704032
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b135690
Related Items
Soundness and completeness proofs by coinductive methods, Trace-Based Coinductive Operational Semantics for While, Squeezing streams and composition of self-stabilizing algorithms, Friends with Benefits, ``Backward coinduction, Nash equilibrium and the rationality of escalation, Coinductive big-step operational semantics, Using Structural Recursion for Corecursion, Inductive and Coinductive Components of Corecursive Functions in Coq
Uses Software