Ramsey's Theorem in type theory
Licentiatavhandling, 1993
Ramsey's theorem
HIgman's lemma
type theory
Författare
Daniel Fridlender
Institutionen för informationsbehandling
Ämneskategorier
Datavetenskap (datalogi)
ISBN
991-787298-1