Zobrazeno 1 - 10
of 1 714
pro vyhledávání: '"Momigliano, A."'
Autor:
Cecilia, Gabriele, Momigliano, Alberto
Publikováno v:
EPTCS 404, 2024, pp. 1-17
The "Harmony Lemma", as formulated by Sangiorgi & Walker, establishes the equivalence between the labelled transition semantics and the reduction semantics in the $\pi$-calculus. Despite being a widely known and accepted result for the standard $\pi$
Externí odkaz:
http://arxiv.org/abs/2407.06624
Autor:
Miller, Dale, Momigliano, Alberto
Property-based testing (PBT) is a technique for validating code against an executable specification by automatically generating test-data. We present a proof-theoretical reconstruction of this style of testing for relational specifications and employ
Externí odkaz:
http://arxiv.org/abs/2406.10053
Autor:
Momigliano, Alberto, Sassella, Martina
Publikováno v:
EPTCS 402, 2024, pp. 34-42
We report on yet another formalization of the Church-Rosser property in lambda-calculi, carried out with the proof environment Beluga. After the well-known proofs of confluence for beta-reduction in the untyped settings, with and without Takahashi's
Externí odkaz:
http://arxiv.org/abs/2404.14921
Autor:
Mantovani, Marco, Momigliano, Alberto
We propose to extend property-based testing to substructural logics to overcome the current lack of reasoning tools in the field. We take the first step by implementing a property-based testing system for specifications written in the linear logic pr
Externí odkaz:
http://arxiv.org/abs/2108.01610
Autor:
Sembiring, Andrianus, Anggoro, Aji Wahyu, Cahyani, Ni Kadek Dita, Pertiwi, Ni Putu Dian, Yusmalinda, Ni Luh Astria, Momigliano, Paolo, Astarini, Ida Ayu, Gautama, Dwi Ariyoga, Malik, Muhammad Danie Al, Mahardika, Gusti Ngurah, Liu, Shang-Yin Vanson
Publikováno v:
In Regional Studies in Marine Science 30 December 2023 68
Autor:
Martina Muraro, Stéphanie Sherpa, Benedetta Barzaghi, Pierluigi Bombi, Danilo Borgatti, Viola Di Canio, Andrea Dalpasso, Mattia Falaschi, Benedetta Gambioli, Raoul Manenti, Silvio Marta, Paolo Momigliano, Veronica Nanni, Claudio Pardo, Elia Lo Parrino, Stefano Scali, Federico Storniolo, Leonardo Vignoli, Marco A. L. Zuffi, Roberto Sacchi, Daniele Salvi, Gentile Francesco Ficetola
Publikováno v:
Scientific Reports, Vol 12, Iss 1, Pp 1-10 (2022)
Abstract The evolution of sexual dimorphism (SD) is driven by intricate interplays between sexual and natural selection. When it comes to SD variation within populations, however, environmental factors play a major role. Sexually selected traits are
Externí odkaz:
https://doaj.org/article/ca34e11979f84cb3bd4d4075774b7806
Autor:
Momigliano, Nicoletta, author, Kibaroğlu, Mustafa, author
Publikováno v:
Overturning Certainties in Near Eastern Archaeology: A Festschrift in Honor of K. Aslihan Yener. :477-502
Autor:
Cheney, James, Momigliano, Alberto
Publikováno v:
Theory and Practice of Logic Programming, 17(3), 311-352 (2017)
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has received considerable attention recently. However, the dual problem of s
Externí odkaz:
http://arxiv.org/abs/1704.00617
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.