Skip to contents

Sommaruga, Giovanni [Author]

History and philosophy of constructive type theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer, 2000

Published in: Synthese <Dordrecht> / Library ; 29000
Bauer, Gustav [Illustrator] ; Ausstellung ORTung 1999 Lofer; Sankt Martin bei Lofer, Kulturverein Binoggl Lofer

Unser Symposium : Einladung zu den Veranstaltungen des Künstlersymposiums Lofer, St. Martin 1999; [erscheint anläßlich der Ausstellung "ORTung '99 - Künstlersymposium Lofer/St. Martin" in der Galerie 5020"]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Lofer [u.a.], 2000
Hofmann, Martin [Author]

Extensional constructs in intensional type theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London; Heidelberg [u.a.]: Springer, c1997

Published in: CPHC/BCS distinguished dissertations
Andreas Martin-Löf Arkitekter

Andreas Martin-Löf Arkitekter / One to one

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stockholm: Art and Theory Publishing, [2019]
Mihailović, Nenad [Author]

Algorithmic randomness

View online
Schließen

Access

https://d-nb.info/986400238/34

kostenfrei

http://archiv.ub.uni-heidelberg.de/volltextserver/volltexte/2007/7786/

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Reimann, Jan [Author]

Computability and fractal dimension

View online
Schließen

Access

https://d-nb.info/975232371/34

kostenfrei

http://archiv.ub.uni-heidelberg.de/volltextserver/volltexte/2005/5543/index.html

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Mihailović, Nenad [Author]

Algorithmic randomness

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2007
Nandakumar, Satyadev [Author]; Vishnoi, Prateek [Author] ; Satyadev Nandakumar and Prateek Vishnoi [Contributor]

Randomness and Effective Dimension of Continued Fractions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Donkó, István [Author]; Kaposi, Ambrus [Author] ; István Donkó and Ambrus Kaposi [Contributor]

Internal Strict Propositions Using Point-Free Equations

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Kaposi, Ambrus [Author]; Huber, Simon [Author]; Sattler, Christian [Author] ; Ambrus Kaposi and Simon Huber and Christian Sattler [Contributor]

Gluing for Type Theory

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Ahrens, Benedikt [Author]; Spadotti, Régis [Author] ; Benedikt Ahrens and Régis Spadotti [Contributor]

Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Sironi, Eugenia [Author] ; Aix-Marseille [Contributor]; Fouqueré, Christophe [Contributor]

Types in Ludics ; Types en ludique

View online
Schließen

Links

http://www.theses.fr/2015AIXM4001/document

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2015-01-15
Hoyrup, Mathieu [Author] ; Mathieu Hoyrup [Contributor]

The dimension of ergodic random sequences

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
Bienvenu, Laurent [Author]; Hölzl, Rupert [Author]; Kräling, Thorsten [Author]; Merkle, Wolfgang [Author] ; Laurent Bienvenu and Rupert Hölzl and Thorsten Kräling and Wolfgang Merkle [Contributor]

Separations of Non-monotonic Randomness Notions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009
DeMeo, William [Author]; Carette, Jacques [Author] ; William DeMeo and Jacques Carette [Contributor]

A Machine-Checked Proof of Birkhoff’s Variety Theorem in Martin-Löf Type Theory

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Petrakis, Iosif [Author] ; Iosif Petrakis [Contributor]

Dependent Sums and Dependent Products in Bishop’s Set Theory

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Gao, Ziyuan [Author]; Jain, Sanjay [Author]; Khoussainov, Bakhadyr [Author]; Li, Wei [Author]; Melnikov, Alexander [Author]; Seidel, Karen [Author]; Stephan, Frank [Author] ; Ziyuan Gao and Sanjay Jain and Bakhadyr Khoussainov and Wei Li and Alexander Melnikov and Karen Seidel and Frank Stephan [Contributor]

Random Subgroups of Rationals

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Hötzel Escardó, Martín [Author]; Xu, Chuangjie [Author] ; Martín Hötzel Escardó and Chuangjie Xu [Contributor]

The Inconsistency of a Brouwerian Continuity Principle with the Curry–Howard Interpretation

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Brittenn, Daniel [Author]

Formalising Martin-Löf 's Theorem using Coq

View online
Schließen

Access

https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=679

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Auckland]: Centre for Discrete Mathematics and Theoretical Computer Science, [2018]

Published in: CDMTCS research report series ; 522
Gerig, Uwe [Photographer]

St. Martin bei Lofer - Begehbare Höhle

View online
Schließen

Access

View in Deutsche Fotothek

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

St. Martin, 2011.07.20

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication