Search for dissertations about: "Daniel Fridlender"

Found 1 swedish dissertation containing the words Daniel Fridlender.

  2. 1. Ramsey's Theorem in type theory

    Author : Daniel Fridlender; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Ramsey s theorem; HIgman s lemma; type theory;

    Abstract : .... READ MORE