Links Home Publications Teaching Recent Talks Handy Information People in Logic Programming Languages Miscellaneous	Christian Urban Note that I have received an Emmy-Noether fellowship to head an independent research group in the computer science department of the TU Munich. Please update your links!
	Research Interests semantics of programming languages, proof theory, type systems, linear logic, concurrency, lambda calculus, theorem assistants, unifciation, computability, complexity, functional and logic programming.

Last modified: Thu Mar 23 17:41:01 CET 2006 [Validate this page.]