Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines

DOI10.46298/lmcs-20(3:3)2024MaRDI QIDQ6597953

Damien Pous, Sergueï Lenglet, Małgorzata Biernacka, Piotr Polesiuk, Alan Schmitt, Dariusz Biernacki

Publication date: 4 September 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

abstract machinefull abstractionlambda calculusprocess calculicontrol operatorbisimilarity

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines