scientific article; zbMATH DE number 2185719
From MaRDI portal
Publication:3024911
Recommendations
- A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
- A semantic characterization of the well-typed formulae of \(\lambda\)- calculus
- Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
- Confluence of the coinductive \(\lambda\)-calculus
- A coalgebraic equational approach to specifying observational structures
- Semantics of a relational \(\lambda\)-calculus
- Computer Science Logic
- Coalgebraic predicate logic: equipollence results and proof theory
- Well-definedness and observational equivalence for inductive–coinductive programs
- A coalgebraic view of characteristic formulas in equational modal fixed point logics
Cited in
(7)- Semantical analysis of perpetual strategies in -calculus
- Perpetuality and uniform normalization in orthogonal rewrite systems
- scientific article; zbMATH DE number 2185665 (Why is no real title available?)
- A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
- scientific article; zbMATH DE number 1927579 (Why is no real title available?)
- Coinductive characterizations of applicative structures
- On the longest perpetual reductions in orthogonal expression reduction systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3024911)
