scientific article

From MaRDI portal

Revision as of 21:47, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3062067

Jump to:navigation, search

zbMath1217.03046MaRDI QIDQ3062067

Arnaud Spiwack, Thierry Coquand

Publication date: 3 January 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite sets type theory constructive logic

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Related Items (3)

Nominal Sets in Agda - A Fresh and Immature Mechanization ⋮ Effective homology of bicomplexes, formalized in Coq ⋮ Finiteness and rational sequences, constructively

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3062067&oldid=16125222"