# Publication details

##
Beta Reduction Constraints

Manuel Bodirsky

Master's Thesis, March 2001

This thesis investigates languages that partially describe lambda terms.
In particular, beta reduction constraints are introduced,
which express that one lambda term beta-reduces to another.
We investigate the expressive power of beta reduction constraints
by relating them to parallelism constraints,
and give applications of beta reduction constraints
in semantical underspecification of computational linguistics.

Download PDF
Show BibTeX

@MASTERSTHESIS{Bodirsky:01,
title = {Beta Reduction Constraints},
author = {Manuel Bodirsky},
year = {2001},
month = {mar},
}

Login to edit

Webmaster,
Wed Sep 16 10:47:00 2009