Polarized name passing
From MaRDI portal
Publication:2956693
DOI10.1007/3-540-60692-0_58zbMath1354.68201OpenAlexW1536680281MaRDI QIDQ2956693
Publication date: 19 January 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60692-0_58
Related Items
Type Inference for Correspondence Types, Secrecy and group creation, An interpretation of typed objects into typed \(\pi\)-calculus, Decoding choice encodings