Skip to content

Adrian Rezus

  • PhD 1981
  • Universiteit Utrecht - University of Utrecht
  • 13PublicationsNumber of items in Adrian's My Publications folder on Mendeley.

Research interests

Lambda Calculus and ApplicationsSymbolic Logic (Proof Theory)

Publications (5)

  • romanianTeX [LaTeX support for Romanian]

    • Rezus A
    N/AReaders
    N/ACitations
  • Beyond BHK (extended abstract)

    • Rezus A
    N/AReaders
    N/ACitations
  • Classical Proofs: Lambda-Calculus Methods in Elementary Proof Theory

    • Rezus A
    N/AReaders
    N/ACitations
  • Constructions and Propositional Types

    • Rezus A
    N/AReaders
    N/ACitations
  • Propositions-as-Types Revisited

    • Rezus A
    N/AReaders
    N/ACitations

Education

PhD 1981

Universiteit Utrecht - University of Utrecht