-
SEAL
-
Research
-
Research Focus
(CL)S
in Technical Reports in Computer Science (Technische Universität Dortmund), TR 840, June 2012, revised October 2012. Kontakt Dr. Moritz Martens Dr. Boris Düdder [...] Combinatory Logic (B. Düdder, M. Martens, J. Rehof, and P. Urzyczyn) in CSL Computer Science Logic, 2012. Using Inhabitation in Bounded Combinatory Logic with Intersection Types for GUI Synthesis (B. Düdder [...] Düdder, O.Garbe, M. Martens, J. Rehof, and P. Urzyczyn) in ITRS Intersection Types and Related Systems, 2012. The Complexity of Inhabitation with Explicit Intersection (J. Rehof and P. Urzyczyn) in R.L. Constable …