×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of adrianrezus
Heracliti Ephesii Reliquiae (Ingram Bywater 1877)
64 views
Adrian Rezus - On a Theorem of Tarski - Preprint 227 MI Utrecht, January 1982
21 views
Adrian Rezus - Lambdas, Types and Proofs - A Selective Bibliography 1981-2011
29 views
Adrian Rezus - Beyond BHK - extended abstract 1993
14 views
Anatol Vieru - Eseuri (Bucuresti 2001-2003)
277 views
Adrian Rezus: Petru Rezus (1913 - 1995), O biobibliografie comentata (Romanian)
133 views
Adrian Rezus - A Bibliography of Lambda-calculi, Combinatory Logics and Related Topics - Mathematisch Centrum, Amsterdam 1982
20 views
Adrian Rezus - On a Theorem of Tarski - Note 20121127
213 views
William Shakespeare -- Six Sonnets, Translated in Romanian by Ilinca Bernea [archives équivalences] 2003
226 views