Search Results - "Computer Science - Logic in Computer Science"

Adding Negation to Lambda Mu by van Bakel, Steffen

“… We will define a notion of reduction that extends $\lambda\mu$'s reduction system with two new reduction rules, and show that the system satisfies subject reduction…”
Get full text

Deconfined Global Types for Asynchronous Sessions by Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola

“… Our type system improves the state-of-the-art by typing all asynchronous sessions and preserving the key properties of Subject Reduction, Session Fidelity and Progress when some well-formedness conditions are satisfied…”
Get full text

Degrees of extensionality in the theory of B\"ohm trees and Sall\'e's conjecture by Intrigila, Benedetto, Manzonetto, Giulio, Polonsky, Andrew

“… The lambda-calculus also possesses a strong notion of extensionality called "the omega-rule", which has been the subject of many investigations…”
Get full text

Quantifying over Boolean announcements by van Ditmarsch, Hans, French, Tim

“… The logic BAPAL is the subject of this work. Unlike APAL it has a finitary axiomatization. Also, BAPAL is not at least as expressive as APAL. A further claim that BAPAL is decidable is deferred to a companion paper…”
Get full text

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications by Santo, José Espírito, Kesner, Delia, Peyrot, Loïc

“…We introduce a call-by-name lambda-calculus $\lambda Jn$ with generalized applications which is equipped with distant reduction. This allows to unblock…”
Get full text

Java & Lambda: a Featherweight Story by Bettini, Lorenzo, Bono, Viviana, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Venneri, Betti

“…We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form,…”
Get full text

The Big-O Problem by Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S., Purser, David

“…Given two weighted automata, we consider the problem of whether one is big-O of the other, i.e., if the weight of every finite word in the first is not greater…”
Get full text

Specification and Verification of Timing Properties in Interoperable Medical Systems by Zarneshan, Mahsa, Ghassemi, Fatemeh, Khamespanah, Ehsan, Sirjani, Marjan, Hatcliff, John

“…To support the dynamic composition of various devices/apps into a medical system at point-of-care, a set of communication patterns to describe the…”
Get full text

An extended type system with lambda-typed lambda-expressions by Weber, Matthias

“… $\tau$ to which no function can be typed. Some properties are shown including confluence, subject reduction, uniqueness of types, strong normalization, and consistency…”
Get full text

Intersection Types for the lambda-mu Calculus by van Bakel, Steffen, Barbanera, Franco, de'Liguoro, Ugo

“…We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion…”
Get full text

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications by José Espírito Santo, Kesner, Delia, Peyrot, Loïc

“…We introduce a call-by-name lambda-calculus \(\lambda Jn\) with generalized applications which is equipped with distant reduction. This allows to unblock…”
Get full text

Modelling MAC-Layer Communications in Wireless Systems by Cerone, Andrea, Hennessy, Matthew, Merro, Massimo

“…; moreover the broadcasts are subject to collisions. Based on a reduction semantics for the calculus we define a contextual equivalence to compare the external behaviour of such wireless networks…”
Get full text

On the system CL12 of computability logic by Japaridze, Giorgi

“…Computability logic (see http://www.csc.villanova.edu/~japaridz/CL/) is a long-term project for redeveloping logic on the basis of a constructive game…”
Get full text

On Irrelevance and Algorithmic Equality in Predicative Type Theory by Abel, Andreas, Scherer, Gabriel

“… Subject reduction, normalization and consistency are obtained by a Kripke model over the typed equality judgement…”
Get full text

A Sorted Semantic Framework for Applied Process Calculi by Borgström, Johannes, Gutkovas, Ramūnas, Parrow, Joachim, Victor, Björn, Pohjola, Johannes Åman

“… To this end, we extend our previous work on psi-calculi with novel abstract patterns and pattern matching, and add sorts to the data term language, giving sufficient criteria for subject reduction to hold…”
Get full text

Sorting Strategies for Interactive Conflict Resolution in ASP by Thevapalan, Andre, Kern-Isberner, Gabriele

“…Answer set programs in practice are often subject to change. This can lead to inconsistencies in the modified program due to conflicts between rules which are the results of the derivation of strongly complementary literals…”
Get full text

Partially Typed Multiparty Sessions by Barbanera, Franco, Dezani-Ciancaglini, Mariangiola

“… Our type system enjoys Subject Reduction, Session Fidelity and "partial" Lock-freedom. The last property ensures the absence of locks for participants with non ignored communications…”
Get full text

Adding Negation to Lambda Mu by Steffen van Bakel

“… We will define a notion of reduction that extends \(\lambda\mu\)'s reduction system with two new reduction rules, and show that the system satisfies subject reduction…”
Get full text

Unification in Matching Logic -- Revisited by Kurucz, Ádám, Bereczky, Péter, Horpácsi, Dániel

“… This paper revisits the subject in the applicative variant of the language while generalising the unification problem and mechanizing a proven-sound solution in Coq…”
Get full text

Polymorphic System I by Sottile, Cristian F, Díaz-Caro, Alejandro, Martínez López, Pablo E

“… We provide non-standard proofs of subject reduction and strong normalisation, extending those of System I…”
Get full text