scientific article; zbMATH DE number 1241702
From MaRDI portal
Publication:4225152
zbMATH Open0919.68086MaRDI QIDQ4225152FDOQ4225152
Publication date: 18 January 1999
Title of this publication is not available (Why is that?)
Recommendations
Cited In (22)
- A case study in programming coinductive proofs: Howe’s method
- Coinductive big-step operational semantics
- Operational equivalence for interaction nets.
- Alpha equivalence equalities
- On the observational theory of the CPS-calculus
- Applicative Bisimulation and Quantum λ-Calculi
- Program equivalence in linear contexts
- Capsules and Closures
- Closures of may-, should- and must-convergences for contextual equivalence
- Encoding FIX in Object Calculi
- Local variable scoping and Kleene algebra with tests
- Program equivalence in an untyped, call-by-value functional language with uncurried functions
- Syntactic logical relations for polymorphic and recursive types
- Relational interpretations of recursive types in an operational setting.
- Title not available (Why is that?)
- Operational domain theory and topology of sequential programming languages
- A two-valued logic for properties of strict functional programs allowing partial functions
- ANF preserves dependent types up to extensional equality
- Improvement theory and its applications
- Strictness, totality, and non-standard-type inference
- Equivalence Checking of Non-deterministic Operations
- From operational to denotational semantics
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)
