Follow
Steffen Lösch
Steffen Lösch
Verified email at cl.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
Denotational semantics with nominal scott domains
S Lösch, AM Pitts
Journal of the ACM (JACM) 61 (4), 1-46, 2014
102014
Full abstraction for nominal Scott domains
S Lösch, AM Pitts
ACM SIGPLAN Notices 48 (1), 3-14, 2013
62013
Relating two semantics of locally scoped names
S Lösch, AM Pitts
Computer Science Logic (CSL'11)-25th International Workshop/20th Annual …, 2011
62011
Depth from blur combining image deblurring and depth estimation
S Losch
Bachelor's Thesis. Saarland University: Homburg, 2009
52009
Program equivalence in functional metaprogramming via nominal Scott domains
S Loesch
University of Cambridge, Computer Laboratory, 2014
12014
Depth from Blur
S Lösch
Bachelor's Thesis, Saarland University Faculty of Natural Sciences and …, 2009
12009
The Semantics of Functions with Locally Scoped Names
S Lösch
2010
Relating Two Semantics of Locally Scoped Names
AM Pitts, S Lösch
The system can't perform the operation now. Try again later.
Articles 1–8