Introduction to the theory of programming languages.

DOI10.1007/978-0-85729-076-2zbMath1213.68160OpenAlexW385926444MaRDI QIDQ1960263

Gilles Dowek, Jean-Jacques Levy

Publication date: 13 October 2010

Published in: Undergraduate Topics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-0-85729-076-2

zbMATH Keywords

fixed point theoremfunctional programmingsemantics of programming languagesPCF language

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Introduction to the theory of programming languages.