We stand with Ukraine  

Steffen Lösch

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

2011
2012
2013
2014
2015
0
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Program equivalence in functional metaprogramming via nominal Scott domains.
[BibTeX]
[DOI]
Steffen Lösch
PhD thesis, 2015

2014
Denotational Semantics with Nominal Scott Domains.
[BibTeX]
[DOI]
Steffen Lösch
,
Andrew M. Pitts
J. ACM, 2014

2013
Full abstraction for nominal Scott domains.
[BibTeX]
[DOI]
Steffen Lösch
,
Andrew M. Pitts
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2011
Relating Two Semantics of Locally Scoped Names.
[BibTeX]
[DOI]
Steffen Lösch
,
Andrew M. Pitts
Proceedings of the Computer Science Logic, 2011


  Loading...