Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Intersection Types for the lambda-mu Calculus
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Compatibility Properties of Synchronously and Asynchronously Communicating Components
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Matching Logic
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Privacy by typing in the $pi$-calculus
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Timed Session Types
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Grilliot's trick in Nonstandard Analysis
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
From Logic to Biology via Physics: a survey
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Few Notes on Formal Balls
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Games for Bisimulations and Abstraction
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Framework for Certified Self-Stabilization
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Faithful (meta-)encodings of programmable strategies into term rewriting systems
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Statman's Hierarchy Theorem
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Universal Process
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Multiactive objects and their applications
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text