Advanced search

Authors whose works are in public domain in at least one jurisdiction
Missing/wrong data? Edit Wikidata item

Plotkin's call-by-value λ-calculus as a modal calculus

scientific article published in 2022

Author/s


Work details

Publication date: June 2022
Language: English

Copyright status