Showing
1 - 2
results of
2
for search '
Thorsten Altenkirch
'
Skip to content
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Language
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Thorsten Altenkirch
Thorsten Altenkirch
Thorsten Altenkirch
( , ) is a German Professor of Computer Science at the
University of Nottingham
known for his research on
logic
,
type theory
, and
homotopy type theory
. Altenkirch was part of the 2012/2013 special year on
univalent foundations
at the
Institute for Advanced Study
. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton.
Provided by Wikipedia
Showing
1 - 2
results of
2
for search '
Thorsten Altenkirch
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Normalisation by Evaluation for Type Theory, in Type Theory
by
Thorsten Altenkirch
,
Ambrus Kaposi
Published 2017-10-01
Get full text
Article
2
Notions of Anonymous Existence in Martin-L\"of Type Theory
by
Nicolai Kraus
,
Martín Escardó
,
Thierry Coquand
,
Thorsten Altenkirch
Published 2017-03-01
Get full text
Article
Search Tools:
RSS Feed
Email Search