scientific article; zbMATH DE number 1241702
From MaRDI portal
Publication:4225152
Recommendations
Cited in
(28)- Coinductive big-step operational semantics
- Operational domain theory and topology of sequential programming languages
- Operational equivalence for interaction nets.
- Relational interpretations of recursive types in an operational setting.
- Program equivalence in linear contexts
- Program equivalence in an untyped, call-by-value functional language with uncurried functions
- Improvement theory and its applications
- Syntactic logical relations for polymorphic and recursive types
- Proving properties of functional programs by equality saturation
- Applicative bisimulation and quantum -calculi
- A two-valued logic for properties of strict functional programs allowing partial functions
- Alpha equivalence equalities
- Encoding FIX in Object Calculi
- scientific article; zbMATH DE number 2090728 (Why is no real title available?)
- scientific article; zbMATH DE number 862937 (Why is no real title available?)
- ANF preserves dependent types up to extensional equality
- A case study in programming coinductive proofs: Howe's method
- Howe's method for higher-order languages
- Formal Methods in Computer-Aided Design
- Capsules and closures
- Equivalence Checking of Non-deterministic Operations
- Strictness, totality, and non-standard-type inference
- From operational to denotational semantics
- A contextual formalization of structural coinduction
- Bialgebraic reasoning on higher-order program equivalence
- Local variable scoping and Kleene algebra with tests
- On the observational theory of the CPS-calculus
- Closures of may-, should- and must-convergences for contextual equivalence
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 Q4225152)
