Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5899100
DOI10.1007/11690634zbMath1180.68105MaRDI 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
Related Items
Strong normalization from an unusual point of view, Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca, Parametric \(\lambda \)-theories, QPCF: higher-order languages and quantum circuits, $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations