Links Home Publications Teaching Recent Talks Handy Information People in Logic Programming Languages Miscellaneous	Christian Urban Note that I have received a fellowship from the Alexander-von-Humboldt Foundation and moved to Munich. Now I am heading there a small research group funded by an Emmy-Noether fellowship. E-mail urbanc at in tum de
	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 Sep 30 22:44:41 UTC 2004 [Validate this page.]