DOI10.1007/978-3-642-11957-6_12zbMath1260.68072MaRDI QIDQ3558224
Ugo Dal Lago, Ulrich Schöpp
Publication date: 4 May 2010 Published in: Programming Languages and Systems (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_12
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
03B70: Logic in computer science