Skip to Main content Skip to Navigation
Conference papers

Russian Constructivism in a Prefascist Theory

Pierre-Marie Pédrot 1, 2
1 LS2N - Laboratoire des Sciences du Numérique de Nantes
2 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
Keywords : exceptions type theory control primitives Markov's principle strict propositions dependent types presheaf syntactic model
Document type :
Conference papers
Complete list of metadatas

Cited literature [48 references]  Display  Hide  Download
https://hal.inria.fr/hal-02548315
Contributor : Pierre-Marie Pédrot <>
Submitted on : Monday, April 20, 2020 - 4:33:31 PM
Last modification on : Tuesday, January 5, 2021 - 4:26:24 PM

File

Vignette du document
main.pdf
Files produced by the author(s)

Identifiers

Collections

EC-NANTES | UNAM | INRIA | LS2N | UNIV-NANTES | CNRS | INSTITUT-TELECOM | LS2N-GALLINETTE

Citation

Pierre-Marie Pédrot. Russian Constructivism in a Prefascist Theory. LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.1-14, ⟨10.1145/3373718.3394740⟩. ⟨hal-02548315⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

262

Files downloads

607

 

Contact                    Legal Notice                    Personal Data