Ramsey's Theorem in type theory
Licentiate thesis, 1993
Ramsey's theorem
HIgman's lemma
type theory
Author
Daniel Fridlender
Department of Computer Sciences
Subject Categories
Computer Science
ISBN
991-787298-1