Filters








5 Hits in 3.5 sec

From Semantics to Types: the Case of the Imperative lambda-Calculus

Ugo de'Liguoro, Riccardo Treglia
2021 Electronic Proceedings in Theoretical Computer Science  
Science Department of Computer Science Università di Torino Università di Torino Torino, Italy  ...  Henzinger, editors: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lecture Notes in Computer Science 4646, Springer, pp. 298–312, doi:10.  ... 
doi:10.4204/eptcs.351.11 fatcat:3wsfkt4mpbcspclcdssvwd2fpe

Bouncing threads for infinitary and circular proofs [article]

David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin
2020 arXiv   pre-print
We generalize the validity criterion for the infinitary proof system of the multiplicative additive linear logic with fixed points. Our criterion is designed to take into account axioms and cuts.  ...  In Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy (LIPIcs), Simona Ronchi Della Rocca (Ed.), Vol. 23.  ...  In 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 -September 1, 2016, Marseille, France (LIPIcs), Vol. 62.  ... 
arXiv:2005.08257v1 fatcat:gz4lagrsqjectndrd2plvnpege

Proceedings Workshop on Fixed Points in Computer Science [article]

David Baelde, Arnaud Carayol (CNRS, Université Paris-Est, Marne-la-Vallée)
2013 pre-print
This volume contains the proceedings of the Ninth Workshop on Fixed Points in Computer Science which took place on the September 1st, 2013 in Torino, Italy as a CSL-affiliated workshop.  ...  The aim of this workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the theory of fixed points.  ...  After this, in Section 5, we provide an alternative direct algorithm for computing t( q).  ... 
doi:10.4204/eptcs.126 arXiv:1308.5896v1 fatcat:p7pcbrphr5gfteinppj4y5gq5m

Implementing a Category-Theoretic Framework for Typed Abstract Syntax [article]

Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
2021 pre-print
Hancock, Conor McBride, Logic in Computer Science, Trento, Italy, July 2-5, 1999. IEEE Computer and Peter Morris. 2015. Indexed containers. J. Funct.  ...  In 14th Annual IEEE Symposium on Logic in Computer Science, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Sci- Trento, Italy, July 2-5, 1999.  ... 
doi:10.1145/3497775.3503678 arXiv:2112.06984v1 fatcat:wvq3o2ihmffpfgxhvl2ox3ctuq

Validation and application of advanced soil constitutive models in numerical modelling of soil and soil-structure interaction under seismic loading [article]

Kowalczyk Piotr Jozef
2020
A-5. Computed accelerations for 25Hz input motions with single soil layer and two soil layers. Fig Fig. B-2.  ...  On the other hand, recent earthquakes in Italy have shown that large pore pressures were generated, often leading to liquefaction (Lombardi & Bhattacharya, 2014; Fioravante et al., 2013) .  ...  Figure C -2 presents the computed accelerations in soil and on pile at different depths and heights.  ... 
doi:10.15168/11572_275675 fatcat:joknuvtqzzbi7a6lnqirz2qkzu