Foundations of Software Science and Computation Structures

DOI10.1007/11690634zbMath1180.68105OpenAlexW2504714231MaRDI QIDQ5899100

Luca Paolini, Simonetta Ronchi della Rocca, Elaine Pimentel

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11690634

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (5)

$$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Parametric \(\lambda \)-theories ⋮ Strong normalization from an unusual point of view ⋮ QPCF: higher-order languages and quantum circuits

This page was built for publication: Foundations of Software Science and Computation Structures