Open AccessAn analysis of computer programs using λ-calculus
Publication year - 2017
Publication title -
proceedings of 2017 the 7th international workshop on computer science and engineering
Language(s) - English
Resource type - Conference proceedings
DOI - 10.18178/wcse.2017.06.037
Subject(s) - calculus (dental) , computer science , programming language , medicine , dentistry