Search results

wrong file in The two interpretations of natural deduction: how do they fit together?*

Status: Open.

#37 In michaelt/martin-lof;

· vcvpaiva opened on Feb 3, 2024

Missing work: "Unifying Scott’s theory of domains for denotational semantics and intuitionistic type theory (Abstract)"

Status: Open.

#34 In michaelt/martin-lof;

· marklemay opened on Feb 16, 2022

Missing work: Mortality rate calculations on ringed birds with special reference to the Dunlin (Calidris alpina)

Status: Open.

#26 In michaelt/martin-lof;

· ayberkt opened on Feb 11, 2021

Philosophical implications of type theory 1987

Status: Open.

#25 In michaelt/martin-lof;

· mariasinnikova opened on Sep 4, 2020

Missing work: 1986 lecture notes

Status: Open.

#21 In michaelt/martin-lof;

· czwanzig opened on Apr 26, 2018

Missing work: A Construction of the Provable Wellorderings of the Theory of Species

Status: Open.

#19 In michaelt/martin-lof;

· asr opened on Feb 4, 2018

Parts not readable in paper from 1979

Status: Open.

#18 In michaelt/martin-lof;

· ndcroos opened on Nov 30, 2017

Wrong year for 'On the Meanings of the Logical Constants...' in the README

Status: Open.

#17 In michaelt/martin-lof;

· asr opened on Sep 4, 2017

100 year ZFC, wrong year in bib file ?

Status: Open.

#16 In michaelt/martin-lof;

· gunpinyo opened on Jun 27, 2017