Denis Firsov - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 5 von 5

)

[ ] Course-of-Value Induction in Cedille

arxiv.org

Authors:Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump. (Submitted on 29 Nov (v1), last revised 7 Mar (this version, v2)).

credits (Cedille Documentation)cedille.github.io › docs › credits

cedille.github.io

Aaron Stump. Cedille Core specification, design, backend. Summer Larry Diehl. module system design and implementation. Denis Firsov. erasure indicated in ...

[ ] Efficient Mendler-Style Lambda-Encodings in Cedille

arxiv.org

Submission history. From: Denis Firsov [view email] [v1] Tue, 6 Mar :36:04 UTC (27 KB). Full-text links: ...

[ ] Variations on Noetherianness

arxiv.org

Authors:Denis Firsov, Tarmo Uustalu, Niccolò Veltri · Download PDF. Abstract: In constructive mathematics, several nonequivalent notions of ...

Verwandte Suchanfragen zu Denis Firsov

Vladimir Shklyarov
Irina Golub
Siegfried Stindl

Anja Hippmann

Personen
Vorname "Denis" (12386)
Name "Firsov" (39)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Denis Firsov

[ ] Course-of-Value Induction in Cedille

credits (Cedille Documentation)cedille.github.io › docs › credits

[ ] Efficient Mendler-Style Lambda-Encodings in Cedille

[ ] Variations on Noetherianness