Kristina Sojakova und Awodey Person-Info

( Ich bin Kristina Sojakova)

(1 - 7 von 10

)

LI2012

li2012.univ-mrs.fr

The talk is based on joint work with Steve Awodey and Kristina Sojakova. Thursday 1, 14:00. Stéphane Gaussent (Université Nancy 1), Coherent presentations ...

BibSLEIGH — Kristina_Sojakova

bibtex.github.io

S.Awodey N.Gambino. Talks about: type (3) homotopi (2) induct (2) algebra (1) theori (1) higher (1) initi (1). Person: Kristina Sojakova. DBLP: Sojakova:Kristina.

Steve Awodey | Homotopy Type Theory

homotopytypetheory.org

Read all of the posts by Steve Awodey on Homotopy Type Theory

Full text of "Inductive types in homotopy type theory"

archive.org

1 2 STEVE AWODEY, NICOLA GAMBINO, AND KRISTINA SOJAKOVA possible to prove the uniqueness of recursively-defined functions. Furthermore, the ...

"dblp Kristina Sojakova" - Blog Malin

www.blog-malin.com

Jul http dblp org rec journals corr abs Steven Awodey Nicola Gambino Kristina Sojakova Inductive types in homotopy type theory ...

Verwandte Suchanfragen zu Kristina Sojakova

Fulya Horozal
Michael Kohlhase
Florian Rabe

Greg Morrisett
Ralf Müller
Kristina Ann Shea

Personen
Vorname "Kristina" (16143)
Name "Sojakova" (1)

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

Impressum AGB Datenschutz

+1

Weltweit