Author Search Results :: UTM Library Massive Scholar Tracking

1

Normalisation by Evaluation for Type Theory, in Type Theory by Thorsten Altenkirch, Ambrus Kaposi

Published 2017-10-01

Get full text

Article
2

When is a Function a Fold or an Unfold? by Gibbons, J, Hutton, G, Altenkirch, T

Published 2001

Journal article
3

When is a function a fold or an unfold? by Gibbons, J, Hutton, G, Altenkirch, T

Published 2001

Conference item
4

Relative Monads Formalised by Thorsten Altenkirch, James Chapman, Tarmo Uustalu

Published 2014-07-01

Get full text

Article
5

Monads need not be endofunctors by Thosten Altenkirch, James Chapman, Tarmo Uustalu

Published 2015-03-01

Get full text

Article
6

Numerical study on the effect of capacitively coupled electrical stimulation on biological cells considering model uncertainties by Julius Zimmermann, Richard Altenkirch, Ursula van Rienen

Published 2022-03-01

Get full text

Article
7

$Notions of Anonymous Existence in Martin-L\"of Type Theory$

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
8

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / by TYPES `98 (2006 : Nottingham, UK), Altenkirch, Thorsten, McBride, Conor, SpringerLink (Online service)

Published 2007

Get full text
9

Optical and impedimetric study of genetically modified cells for diclofenac sensing by M. Guenther, F. Altenkirch, K. Ostermann, G. Rödel, I. Tobehn-Steinhäuser, S. Herbst, S. Görlandt, G. Gerlach

Published 2019-05-01

Get full text

Article