Steffen Lösch

According to our database¹, Steffen Lösch authored at least 4 papers between 2011 and 2015.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

Program equivalence in functional metaprogramming via nominal Scott domains.

[BibT_eX]

[DOI]

PhD thesis, 2015

2014

Denotational Semantics with Nominal Scott Domains.

[BibT_eX]

[DOI]

J. ACM, 2014

2013

Full abstraction for nominal Scott domains.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2011

Relating Two Semantics of Locally Scoped Names.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 2011