1 |
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines
|
|
|
|
In: LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01479035 ; LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
|