POPLMark reloaded: Mechanizing proofs by logical relations

Thumbnail Image

Files

Access status: Embargo until 2233-03-22 , Primary 213879.pdf (1.47 MB)

Date

2019

Authors

Abel, Andreas
Allais, G.X. Guillaume
Hameer, Aliya
Pientka, Brigitte
Momigliano, Alberto
Schaefer, Steven
Stark, Kathrin

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/213879

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By