Return to search

Normalisation & equivalence in proof theory & type theory /

Thesis (Ph.D.) - University of St Andrews, April 2007.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/229950523
Date January 2007
CreatorsLengrand, Stéphane.
PublisherSt Andrews,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceConnect to full text of thesis

Page generated in 0.0021 seconds