index

module mi.index where

import mi.Aczel1978
import mi.Friedman1978
import mi.MartinLof2006
import mi.McBride2006

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 B C D E F G H I J K L M N O P Q R S T U V W X Y Z

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?
C. McBride (2006) Type-preserving renaming and substitution

N

O

P

Q

R

S

T

U

V

W

X

Y

Z