scientific article; zbMATH DE number 5831413

MaRDI QIDQ3062067zbMATH OpenFDO

Authors Thierry Coquand, Arnaud Spiwack

Publication date 3 January 2011

zbMATH Keywords

constructive logicfinite setstype theory

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Cited in

(7)

• scientific article; zbMATH DE number 2152232 (Why is no real title available?)
• Finiteness and rational sequences, constructively
• WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
• Nominal Sets in Agda - A Fresh and Immature Mechanization
• Effective homology of bicomplexes, formalized in Coq
• Continuous and algebraic domains in univalent foundations
• Comodule representations of second-order functionals

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 Q3062067)