scientific article
From MaRDI portal
Publication:3062067
zbMath1217.03046MaRDI QIDQ3062067
Arnaud Spiwack, Thierry Coquand
Publication date: 3 January 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Nominal Sets in Agda - A Fresh and Immature Mechanization, Effective homology of bicomplexes, formalized in Coq, Finiteness and rational sequences, constructively
