papers
Publications (6)
cs.PL2007
Nominal Logic Programming
James Cheney, Christian Urban
cs.PL2017
Modelling homogeneous generative meta-programming
Martin Berger, Laurence Tratt, Christian Urban
cond-mat.mtrl-sci2016
Low vibration high numerical aperture automated variable temperature Raman microscope
Yao Tian, Anjan A. Reijnders, Gavin B. Osterhoudt +8
cs.LO2012
General Bindings and Alpha-Equivalence in Nominal Isabelle
Christian Urban, Cezary Kaliszyk
cs.LO2010
Mechanizing the Metatheory of LF
Christian Urban, James Cheney, Stefan Berghofer
cs.LO2010
Nominal Unification Revisited
Christian Urban