scientific article; zbMATH DE number 2003152
From MaRDI portal
Publication:4435464
zbMath1023.03534MaRDI QIDQ4435464
Laurent Chicli, Loïc Pottier, Carlos T. Simpson
Publication date: 12 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2646/26460095.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Second- and higher-order arithmetic and fragments (03F35) Axiom of choice and related propositions (03E25)
Related Items
Quotients of Bounded Natural Functors, Quotienting the delay monad by weak bisimilarity, Quotients by Idempotent Functions in Cedille, Unnamed Item, Modules over monads and initial semantics, Computer theorem proving in mathematics, From signatures to monads in \textsf{UniMath}
Uses Software