Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Aschieri, Federico
2013.
Strong Normalization for HA + EM1 by Non-Deterministic Choice.
Electronic Proceedings in Theoretical Computer Science,
Vol. 127,
Issue. ,
p.
1.
Aschieri, Federico
and
Zorzi, Margherita
2013.
Typed Lambda Calculi and Applications.
Vol. 7941,
Issue. ,
p.
31.
Scott, Dana S.
2014.
Stochastic λ-calculi: An extended abstract.
Journal of Applied Logic,
Vol. 12,
Issue. 3,
p.
369.
Stuhlmüller, A.
and
Goodman, N.D.
2014.
Reasoning about reasoning by nested conditioning: Modeling theory of mind with probabilistic programs.
Cognitive Systems Research,
Vol. 28,
Issue. ,
p.
80.
Díaz-Caro, Alejandro
and
Dowek, Gilles
2014.
The probability of non-confluent systems.
Electronic Proceedings in Theoretical Computer Science,
Vol. 144,
Issue. ,
p.
1.
Crubillé, Raphaëlle
and
Dal Lago, Ugo
2014.
Programming Languages and Systems.
Vol. 8410,
Issue. ,
p.
209.
Ehrhard, Thomas
Tasson, Christine
and
Pagani, Michele
2014.
Probabilistic coherence spaces are fully abstract for probabilistic PCF.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 1,
p.
309.
Ehrhard, Thomas
Tasson, Christine
and
Pagani, Michele
2014.
Probabilistic coherence spaces are fully abstract for probabilistic PCF.
p.
309.
Crubillé, Raphaëlle
Dal Lago, Ugo
Sangiorgi, Davide
and
Vignudelli, Valeria
2015.
Correct System Design.
Vol. 9360,
Issue. ,
p.
65.
Bizjak, Aleš
and
Birkedal, Lars
2015.
Foundations of Software Science and Computation Structures.
Vol. 9034,
Issue. ,
p.
279.
ZORZI, MARGHERITA
2016.
On quantum lambda calculi: a foundational perspective.
Mathematical Structures in Computer Science,
Vol. 26,
Issue. 7,
p.
1107.
Aschieri, Federico
and
Zorzi, Margherita
2016.
On natural deduction in classical first-order logic: Curry–Howard correspondence, strong normalization and Herbrand's theorem.
Theoretical Computer Science,
Vol. 625,
Issue. ,
p.
125.
Breuvart, Flavien
Dal Lago, Ugo
and
Herrou, Agathe
2017.
Foundations of Software Science and Computation Structures.
Vol. 10203,
Issue. ,
p.
370.
Crubillé, Raphaëlle
and
Dal Lago, Ugo
2017.
Programming Languages and Systems.
Vol. 10201,
Issue. ,
p.
341.
Lago, Ugo Dal
Gavazzo, Francesco
and
Levy, Paul Blain
2017.
Effectful applicative bisimilarity: Monads, relators, and Howe's method.
p.
1.
Dal Lago, Ugo
and
Grellois, Charles
2017.
Programming Languages and Systems.
Vol. 10201,
Issue. ,
p.
393.
Arrighi, Pablo
Díaz-Caro, Alejandro
and
Valiron, Benoît
2017.
The vectorial λ-calculus.
Information and Computation,
Vol. 254,
Issue. ,
p.
105.
Paolini, Luca
and
Zorzi, Margherita
2017.
Theory and Applications of Models of Computation.
Vol. 10185,
Issue. ,
p.
455.
Crubillé, Raphaëlle
2018.
Probabilistic Stable Functions on Discrete Cones are Power Series.
p.
275.
Ghilezan, Silvia
Ivetić, Jelena
Kašterović, Simona
Ognjanović, Zoran
and
Savić, Nenad
2018.
Logical Foundations of Computer Science.
Vol. 10703,
Issue. ,
p.
170.