computer science

	STAFF — PAULA GABRIELA SEVERI   Ph.D. (Eindhoven University) Researcher
	G16 Computer Science Building Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 5331 F: +44 (0)116 252 3604 or 44 (0)116 252 3915 E: ps56 at mcs.le.ac.uk

Research Interests: Logic in Computer Science.

• Lambda Calculus: Pure Typed Lambda Calculus, Typed Lambda Calculus, Intersection Types, Infinitary Lambda Calculus, Böhm trees, Models.
• In the last year, I became interested in Logics connected to the Web. In particular, in Description Logics.

Publications:

• Most of my publications are on Lambda Calculus.
• Recently publications on Semantic Web .

• Research
• Publications
• Brief CV

Author: PAULA GABRIELA SEVERI (ps56 at mcs.le.ac.uk), T: +44 (0)116 252 5331.
© University of Leicester DATE. Last modified: 31st October 2011, 14:36:07.
CS Web Maintainer. Any opinions expressed on this page are those of the author.