Contexts in Lambda Calculus

M. Bognar

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 - 2002

Bibliographical note

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

Cite this

Bognar, M. (2002). Contexts in Lambda Calculus. Vrije Universiteit.
Bognar, M.. / Contexts in Lambda Calculus. Vrije Universiteit, 2002.
@phdthesis{f506b88c3c6648678746274d10e48a8c,
title = "Contexts in Lambda Calculus",
author = "M. Bognar",
note = "Naam instelling promotie: Vrije Universiteit Naam instelling onderzoek: Vrije Universiteit",
year = "2002",
language = "English",
school = "Vrije Universiteit Amsterdam",

}

Bognar, M 2002, 'Contexts in Lambda Calculus', PhD, Vrije Universiteit Amsterdam, Vrije Universiteit.

Contexts in Lambda Calculus. / Bognar, M.

Vrije Universiteit, 2002.

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

TY - THES

T1 - Contexts in Lambda Calculus

AU - Bognar, M.

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

PY - 2002

Y1 - 2002

M3 - PhD Thesis - Research VU, graduation VU

CY - Vrije Universiteit

ER -

Bognar M. Contexts in Lambda Calculus. Vrije Universiteit, 2002.