# index

module mi.index where import mi.Aczel1978 import mi.Friedman1978 import mi.MartinLof2006

Work in progress. Check out the source repository.

See also the library of the ##dependent distributed research support group.

Made by Miëtek Bak. Licensed under CC BY-SA 4.0.

## A

- P. Aczel (1978) The type-theoretic interpretation of constructive set theory

## B

## C

## D

## E

## F

- H. Friedman (1978) Classically and intuitionistically provably recursive functions

## G

## H

## I

## J

## K

## L

## M

- P. Martin-Löf (2006) 100 years of Zermelo’s axiom of choice: What was the problem with it?