scientific article; zbMATH DE number 2247254
From MaRDI portal
Publication:5718566
zbMath1102.03034MaRDI QIDQ5718566
No author found.
Publication date: 16 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bisimulationMartin-Löf type theorydependent type theorymonadic I/Ocoiterationinteractive programsguarded inductionstate-dependent interactive programsweakly final coalgebra
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (13)
Monads for behaviour ⋮ Let’s See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract) ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ Interactive programming in Agda – Objects and graphical user interfaces ⋮ Intuitionistic fixed point logic ⋮ How to Reason Coinductively Informally ⋮ Polynomial functors and polynomial monads ⋮ A metalanguage for guarded iteration ⋮ Undecidability of equality for codata types ⋮ Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme ⋮ From Coinductive Proofs to Exact Real Arithmetic ⋮ Coalgebras as Types Determined by Their Elimination Rules ⋮ Programming interfaces and basic topology
Uses Software
This page was built for publication:
