Relating Proof Systems for Recursive Types

C.A. Grabmayer

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Klop, Jan Willem, Supervisor
  • de Vrijer, R.C., Co-supervisor
Place of PublicationVrije Universiteit
Publication statusPublished - 2005

Bibliographical note

Naam instelling promotie: Vrije Universiteit
Naam instelling onderzoek: Vrije Universiteit

Cite this

Grabmayer, C. A. (2005). Relating Proof Systems for Recursive Types. Vrije Universiteit.
Grabmayer, C.A.. / Relating Proof Systems for Recursive Types. Vrije Universiteit, 2005.
@phdthesis{cc5491f9f22f4d088ffc71fa30b74ddb,
title = "Relating Proof Systems for Recursive Types",
author = "C.A. Grabmayer",
note = "Naam instelling promotie: Vrije Universiteit Naam instelling onderzoek: Vrije Universiteit",
year = "2005",
language = "English",
school = "Vrije Universiteit Amsterdam",

}

Grabmayer, CA 2005, 'Relating Proof Systems for Recursive Types', PhD, Vrije Universiteit Amsterdam, Vrije Universiteit.

Relating Proof Systems for Recursive Types. / Grabmayer, C.A.

Vrije Universiteit, 2005.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

TY - THES

T1 - Relating Proof Systems for Recursive Types

AU - Grabmayer, C.A.

N1 - Naam instelling promotie: Vrije Universiteit Naam instelling onderzoek: Vrije Universiteit

PY - 2005

Y1 - 2005

M3 - PhD Thesis - Research VU, graduation VU

CY - Vrije Universiteit

ER -

Grabmayer CA. Relating Proof Systems for Recursive Types. Vrije Universiteit, 2005.