Files

doc/pdf
- abel-2012.pdf
- abel-adelsberger-setzer-2017.pdf
- abel-chapman-2014.pdf
- abel-pientka-2010.pdf
- abramsky-jung-1994.pdf
- aczel-1977.pdf
- aczel-1982.pdf
- alechina-et-al-2001.pdf
- allais-2017.pdf
- alt-artemov-2001.pdf
- amin-rompf-2018.pdf
- appel-2001.pdf
- armstrong-2003.pdf
- armstrong-2007.pdf
- artemov-1999.pdf
- artemov-2001.pdf
- artemov-beklemishev-2005.pdf
- artemov-bonelli-2007.pdf
- artemov-et-al-2001.pdf
- artemov-fitting-2019.pdf
- artemov-iemhoff-2005.pdf
- atkey-mcbride-2013.pdf
- augustsson-1985.pdf
- augustsson-2006.pdf
- backhouse-chisholm-malcolm-saaman-1989.pdf
- balat-dicosmo-fiore-2004.pdf
- basin-matthews-vigano-1997.pdf
- bauer-2016-extended.pdf
- bauer-2016.pdf
- berger-schwichtenberg-1991.pdf
- bernardy-jansson-paterson-2010.pdf
- bierman-depaiva-2000.pdf
- bishop-1973.pdf
- bishop-1975.pdf
- boespflug-pientka-2011.pdf
- bonelli-feller-2009.pdf
- brown-palsberg-2015.pdf
- brown-palsberg-2016.pdf
- burrell-cockett-redmond-2009.pdf
- burrows-2009.pdf
- carette-chen-choudhury-sabry-2018.pdf
- carette-kiselyov-shan-2009.pdf
- carette-stump-2012.pdf
- chapman-2009.pdf
- chapman-kireev-nester-wadler-2019.pdf
- cheney-1970.pdf
- chlipala-2008.pdf
- christiansen-2013.pdf
- clarke-gladstone-maclean-norman-1980.pdf
- convent-lindley-mcbride-mclaughlin-2020.pdf
- coquand-2002.pdf
- coquand-2004.pdf
- coquand-dybjer-1994.pdf
- coquand-dybjer-1997.pdf
- damas-milner-1982.pdf
- danielsson-2012.pdf
- danvy-rhiger-rose-2001.pdf
- david-guillaume-2001.pdf
- davies-1996.pdf
- davies-pfenning-1996.pdf
- davies-pfenning-2001.pdf
- delaware-oliveira-schrijvers-2013.pdf
- despeyroux-pfenning-schurmann-1997.pdf
- devriese-piessens-2013.pdf
- diehl-2017.pdf
- diehl-firsov-stump-2018.pdf
- dunfield-krishnaswami-2019.pdf
- dybjer-1994.pdf
- dybjer-filinski-2002.pdf
- dyckhoff-2015.pdf
- dyckhoff-pinto-1997.pdf
- filinski-1999.pdf
- filinski-2001.pdf
- foner-2015.pdf
- francez-2017.pdf
- fredkin-1992.pdf
- fredkin-2003.pdf
- fredkin-toffoli-1982.pdf
- gabbay-nanevski-2012.pdf
- geuvers-2001.pdf
- geuvers-2009.pdf
- girard-1972.pdf
- godel-1933.pdf
- godel-1938.pdf
- gonzalez-huesca-et-al-2020.pdf
- hagino-1987.pdf
- halpern-et-al-2001.pdf
- harrison-1995.pdf
- heyting-1931.pdf
- heyting-1956.pdf
- hoare-allison-1972.pdf
- hofmann-1997.pdf
- iemhoff-2001.pdf
- ilik-2010.pdf
- ilik-2013.pdf
- james-2013.pdf
- jaynes-1989.pdf
- joachimski-matthes-2002.pdf
- karger-schell-1974.pdf
- keller-altenkirch-2010.pdf
- kesner-2007.pdf
- kim-yi-calcagno-2006.pdf
- kovacs-2017.pdf
- kripke-1963.pdf
- lamport-1978.pdf
- leivant-1991.pdf
- lewis-langford-1932.pdf
- licata-harper-2010.pdf
- lindley-2005.pdf
- loh-mcbride-swierstra-2010.pdf
- math_hard.pdf
- mcadams-2013.pdf
- mcbride-1999.pdf
- mcbride-2003.pdf
- mcbride-2009.pdf
- mcbride-2015.pdf
- mcbride-2016.pdf
- mealy-1955.pdf
- mellies-1995.pdf
- mendler-1987.pdf
- miller-fredkin-2005.pdf
- miquel-2001.pdf
- moggi-1989.pdf
- moggi-1991.pdf
- morris-2007.pdf
- nakano-2000.pdf
- nakano-2001.pdf
- nanevski-pfenning-pientka-2007.pdf
- naylor-2009.pdf
- naylor-runciman-2008.pdf
- negri-2005.pdf
- negri-2011.pdf
- nogina-2014.pdf
- nordstrom-1988.pdf
- nordstrom-petersson-smith-1990.pdf
- nuyts-vezzosi-devriese-2017.pdf
- oconnor-2009.pdf
- oneill-2008.pdf
- parigot-1989.pdf
- parreaux-voizard-shaikhha-koch-2017.pdf
- perlis-1982.pdf
- pfenning-2001.pdf
- pfenning-2007.pdf
- pfenning-davies-2001.pdf
- pfenning-lee-1991.pdf
- pientka-2007.pdf
- prawitz-1971.pdf
- putnam-1980.pdf
- rendel-ostermann-hofer-2009.pdf
- reynolds-1984.pdf
- sangiorgi-2009.pdf
- schroederheister-2010.pdf
- schwaab-siek-2013.pdf
- seldin-hindley-1980.pdf
- shannon-1948.pdf
- sheard-2001.pdf
- simmons-toninho-2011.pdf
- simpson-1994.pdf
- stansifer-wand-2014.pdf
- steren-bonelli-2014.pdf
- stoye-clarke-norman-1984.pdf
- studer-2012.pdf
- stump-2009.pdf
- swierstra-2008.pdf
- tait-1967.pdf
- tarski-1936.pdf
- thompson-1984.pdf
- thurston-1994.pdf
- toffoli-1980.pdf
- turner-1979.pdf
- turner-2004.pdf
- vanderwalt-2012.pdf
- veldman-1976.pdf
- voevodsky-2014.pdf
- wadler-2015.pdf
- wand-1998.pdf
- wand-friedman-1986.pdf
- werner-1997.pdf
README.md
library.bib