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