Coinductive Big-Step Operational Semantics
- 1 January 2006
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
All Related Versions
This publication has 11 references indexed in Scilit:
- Coinductive Big-Step Operational SemanticsPublished by Springer Nature ,2006
- Filters on CoInductive Streams, an Application to Eratosthenes’ SievePublished by Springer Nature ,2005
- Interactive Theorem Proving and Program DevelopmentPublished by Springer Nature ,2004
- Infinite λ-calculus and typesTheoretical Computer Science, 1999
- Security Properties of Typed AppletsPublished by Springer Nature ,1999
- Functional runtime systems within the lambda-sigma calculusJournal of Functional Programming, 1998
- Infinitary lambda calculusTheoretical Computer Science, 1997
- Codifying guarded definitions with recursive schemesPublished by Springer Nature ,1995
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- Co-induction in relational semanticsTheoretical Computer Science, 1991