Types and sorts. Resource logic for feature checking

D.K.J. Heylen

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Original language	Undefined/Unknown
Qualification	Doctor of Philosophy
Awarding Institution	Utrecht University
Supervisors/Advisors	Moortgat, Michael, Primary supervisor
Award date	18 Jun 1999
Place of Publication	Den Haag
Publisher	Thesus
Publication status	Published - 18 Jun 1999

Keywords

@phdthesis{a9cbca06f703457f99082b80de3c6057,

title = "Types and sorts. Resource logic for feature checking",

keywords = "Wiskunde en computerwetenschappen, Menswetenschappen, Linguistic theory, Westerse Letteren (WLET), Applied linguistics",

author = "D.K.J. Heylen",

year = "1999",

month = jun,

day = "18",

language = "Undefined/Unknown",

publisher = "Thesus",

type = "Doctoral thesis 1 (Research UU / Graduation UU)",

school = "Universiteit Utrecht",

}