Journal of Symbolic Computation
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LO and behold! Concurrent structured processes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A logical view of composition and refinement
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Is there a use for linear logic?
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Communication as fair distribution of knowledge
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Theorem proving using equational matings and rigid E-unification
Journal of the ACM (JACM)
ACM SIGACT News
Proving memory management invariants for a language based on linear logic
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Lively linear Lisp: “look ma, no garbage!”
ACM SIGPLAN Notices
The geometry of optimal lambda reduction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus for access control in distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Imperative functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Combinatory representation of mobile processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGPLAN Notices
The Boyer benchmark meets linear logic
ACM SIGPLAN Lisp Pointers
Linear logic and permutation stacks—the Forth shall be first
ACM SIGARCH Computer Architecture News - Special issue: panel sessions of the 1991 workshop on multithreaded computers
Sparse polynomials and linear logic
ACM SIGSAM Bulletin
Type-theoretic foundations for concurrent object-oriented programing
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
The geometry of interaction machine
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient execution of programs with static semantics
ACM SIGPLAN Notices
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Complexity of kernel Fun subtype checking
Proceedings of the first ACM SIGPLAN international conference on Functional programming
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Challenges in type systems research
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A note on type checking linear functional languages
ACM SIGPLAN Notices
Tools for functional simulation
WSC '93 Proceedings of the 25th conference on Winter simulation
Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures
ACM Computing Surveys (CSUR)
A functional representation of data structures with a hole
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From system F to typed assembly language
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
One-bit counts between unique and sticky
Proceedings of the 1st international symposium on Memory management
A type based sharing analysis for update avoidance and optimisation
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
YALE: yet another lambda evaluator based on interaction nets
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typed memory management in a calculus of capabilities
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Linear behaviour of term graph rewriting programs
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
From system F to typed assembly language
ACM Transactions on Programming Languages and Systems (TOPLAS)
(Optimal) duplication is not elementary recursive
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
From Algol to polymorphic linear lambda-calculus
Journal of the ACM (JACM)
Implementing interaction nets in MONSTR
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Linear logic programming with an ordered context
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Typed memory management via static capabilities
ACM Transactions on Programming Languages and Systems (TOPLAS)
BI as an assertion language for mutable data structures
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Inductive methods and contract-signing protocols
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
A uniform type structure for secure information flow
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A parameterized type system for race-free Java programs
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
On regions and linear types (extended abstract)
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Agent negotiation as proof search in linear logic
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Automatic extraction of object-oriented component interfaces
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Theoretical Computer Science
Automated protocol verification in linear logic
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
An expressive, scalable type theory for certified code
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Informational Logic as a Tool for Automated Reasoning
Journal of Automated Reasoning
Journal of Logic, Language and Information
Information Gaps as Communication Needs: A New SemanticFoundation for Some Non-Classical Logics
Journal of Logic, Language and Information
Quantifiers, Anaphora, and Intensionality
Journal of Logic, Language and Information
Group Theory and Computational Linguistics
Journal of Logic, Language and Information
A New Correctness Criterion for Cyclic Proof Nets
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Linguistic Applications of First Order Intuitionistic Linear Logic
Journal of Logic, Language and Information
Substructural Logics with Mingle
Journal of Logic, Language and Information
Resource-distribution via Boolean constraints
ACM Transactions on Computational Logic (TOCL)
The logical approach to stack typing
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Keep it clean: a unique approach to functional programming.
ACM SIGPLAN Notices
Streams and strings in formal proofs
Theoretical Computer Science - Complexity and logic
Secure Information Flow via Linear Continuations
Higher-Order and Symbolic Computation
Lattice-theoretic models of conjectures, hypotheses and consequences
Artificial Intelligence
A study of interconnections between rough and 3-valued Lukasiewicz logics
Fundamenta Informaticae
A logical view of concurrent constraint programming
Nordic Journal of Computing
Secure Information Flow as Typed Process Behaviour
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Sharing Continuations: Proofnets for Languages with Explicit Control
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Secure Information Flow and CPS
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Proceedings of the 17th International Conference on Logic Programming
A Purely Logical Account of Sequentiality in Proof Search
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Resource Management in Linear Logic Search Revisited
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Fucusing and Proof-Nets in Linear and Non-commutative Logic
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Local System for Classical Logic
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
A Local System for Linear Logic
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Non-commutative Extension of MELL
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Linear Logic Treatment of Phrase Structure Grammars for Unbounded Dependencies
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
Lexicalized Proof-Nets and TAGs
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Deductive Parsing of Visual Languages
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Single-Threaded Objects in ACL2
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Typing Assembly Programs with Explicit Forwarding
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Sharing Resource-Sensitive Knowledge Using Combinator Logics
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Call-by-Push-Value: A Subsuming Paradigm
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Quantitative Semantics Revisited
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Strong Normalisation of Cut-Elimination in Classical Logic
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
A Study of Abramsky's Linear Chemical Abstract Machine
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Logical Predicates for Intuitionistic Linear Type Theories
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Resource Interpretations, Bunched Implications and the alpha lambda-Calculus
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Polarized Proof-Nets: Proof-Nets for LC
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Non-standard Logics for Diagram Interpretation
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Higher-Order Quantification and Proof Search
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Cut Elimination for Classical Proofs as Continuation Passing Style Computation
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Building Models of Linear Logic
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Proof Techniques for Cryptographic Protocols
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Type Structure for Low-Level Programming Languages
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
A Matrix Characterization for MELL
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Event-State Duality: The Enriched Case
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Term Graph Rewriting and Mobile Expressions in Functional Languages
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Sequential and Concurrent Abstract Machines for Interaction Nets
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Proof Nets and Explicit Substitutions
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
A Calculus of Circular Proofs and Its Categorical Semantics
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
A Systematic Approach towards Object-Based Petri Net Formalisms
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
On the Undecidability of some Sub-Classical First-Order Logics
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Strong Normalization of Second Order Symmetric lambda-Calculus
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
The Non-Associative Lambek Calculus with Product in Polynomial Time
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
linTAP: A Tableau Prover for Linear Logic
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Bounded Contraction in Systems with Linearity
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Software Geography: Physical and Economic Aspects
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Strong Normalization of Proof Nets Modulo Structural Congruences
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
in2: A Graphical Interpreter for Interaction Nets
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Multiset Rewriting and Security Protocol Analysis
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Alias Types for Recursive Data Structures
TIC '00 Selected papers from the Third International Workshop on Types in Compilation
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Modeling Meta-logical Features in a Calculus with Frozen Variables
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
Linear Concurrent Constraint Programming over Reals
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects
CL '00 Proceedings of the First International Conference on Computational Logic
Call-by-Value lambda-Graph Rewriting Without Rewriting
ICGT '02 Proceedings of the First International Conference on Graph Transformation
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Linear Logical View of Linear Type Isomorphisms
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Finite Models and Full Completeness
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
On the Computational Interpretation of Negation
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Quadratic Correctness Criterion for Non-commutative Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Non-commutativity and MELL in the Calculus of Structures
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
The Expressive Power of Horn Monadic Linear Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Classical Linear Logic of Implications
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Proofnets and Context Semantics for the Additives
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
A Usage Analysis with Bounded Usage Polymorphism and Subtyping
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Specification of Heterogeneous Agent Architectures
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Non-commutative Logic for Hand-Written Character Modeling
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Types and Subtypes for Client-Server Interactions
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Natural Deduction for Intuitionistic Non-communicative Linear Logic
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
On Implementation of Tree Synchronized Languages
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Universal Interaction Systems with Only Two Agents
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Resource-conscious AI planning with conjunctions and disjunctions
Acta Cybernetica
Glueing and orthogonality for models of linear logic
Theoretical Computer Science - Category theory and computer science
Exhausting strategies, joker games and full completeness for IMLL with unit
Theoretical Computer Science - Category theory and computer science
Coherence for sharing proof-nets
Theoretical Computer Science - Linear logic
Encoding transition systems in sequent calculus
Theoretical Computer Science - Linear logic
Chu spaces as a semantic bridge between linear logic and mathematics
Theoretical Computer Science - Linear logic
Handsome proof-nets: perfect matchings and cographs
Theoretical Computer Science - Linear logic
Additives of linear logic and normalization: part I: A (restricted) Church--Rosser property
Theoretical Computer Science - Linear logic
Phase semantics for light linear logic
Theoretical Computer Science - Linear logic
Theoretical Computer Science - Linear logic
Evaluating real-time software specification languages
Computer Standards & Interfaces
Encoding linear logic with interaction combinators
Information and Computation
Programming methodology
Information and Computation
Substructural logic and partial correctness
ACM Transactions on Computational Logic (TOCL)
Operational equivalence for interaction nets
Theoretical Computer Science - Latin American theoretical informatics
Handbook of automated reasoning
Proceedings of the first international conference on Neutrosophy, neutrosophic logic, neutrosophic set, neutrosophic probability and statistics
Evolvable concurrent processes
Computer Standards & Interfaces - Special issue: Adaptable software architectures
Linear Logic, Monads and the Lambda Calculus
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Games and Full Abstraction for FPC
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Dominator Trees and Fast Verification of Proof Nets
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Linear logic and elementary time
Information and Computation - Special issue: ICC '99
A Meta-Notation for Protocol Analysis
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A characterization theorem on the rotation construction for triangular norms
Fuzzy Sets and Systems - Theme: Basic concepts
The essence of computation
Interaction nets with McCarthy's amb: properties and applications
Nordic Journal of Computing
Non-commutative logic III: focusing proofs
Information and Computation
An effective theory of type refinements
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Some points in formal topology
Theoretical Computer Science - Topology in computer science
Geometry of deduction via graphs of proofs
Logic for concurrency and synchronisation
Chu's construction: a proof-theoretic approach
Logic for concurrency and synchronisation
Two paradigms of logical computation in affine logic?
Logic for concurrency and synchronisation
The differential Lambda-calculus
Theoretical Computer Science
MELL in the calculus of structures
Theoretical Computer Science
Obsessional experiments for linear logic proof-nets
Mathematical Structures in Computer Science
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Sequentiality vs. concurrency in games and logic
Mathematical Structures in Computer Science
Proof nets and explicit substitutions
Mathematical Structures in Computer Science
A categorical framework for finite state machines
Mathematical Structures in Computer Science
Encoding left reduction in the λ-calculus with interaction nets
Mathematical Structures in Computer Science
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
Double categories: a modular model of multiplicative linear logic
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Universal homogeneous graph-like structures and domains
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Implicit exchange in multiplicative proofnets
Mathematical Structures in Computer Science
Linear types and approximation
Mathematical Structures in Computer Science
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
Introduction to linear bicategories
Mathematical Structures in Computer Science
Unique decomposition categories, Geometry of Interaction and combinatory logic
Mathematical Structures in Computer Science
Non-commutative logic II: sequent calculus and phase semantics
Mathematical Structures in Computer Science
The call-by-value λ-calculus: a semantic investigation
Mathematical Structures in Computer Science
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Minimality of the correctness criterion for multiplicative proof nets
Mathematical Structures in Computer Science
Concurrent programming as proof net construction
Mathematical Structures in Computer Science
A semantic characterisation of the correctness of a proof net
Mathematical Structures in Computer Science
Two-dimensional proof-structures and the exchange rule
Mathematical Structures in Computer Science
Girard translation and logical predicates
Journal of Functional Programming
Program equivalence in a linear functional language
Journal of Functional Programming
Journal of Functional Programming
The call-by-need lambda calculus
Journal of Functional Programming
Incremental processing and acceptability
Computational Linguistics
Tree Adjoining Grammars in a fragment of the Lambek calculus
Computational Linguistics
Generation in the Lambek calculus framework: an approach with semantic proof nets
NAACL 2000 Proceedings of the 1st North American chapter of the Association for Computational Linguistics conference
The Knowledge Engineering Review
Heap-Bounded Assembly Language
Journal of Automated Reasoning
Representing reductions of NP-complete problems in logical frameworks: a case study
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
The semantics of resource sharing in lexical-functional grammar
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
Mixing modes of linguistic description in Categorial Grammar
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
Geometry of lexico-syntactic interaction
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
Proof figures and structural operators for categorial grammar
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Negative polarity licensing at the syntax-semantics interface
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
Group theory and linguistic processing
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
Parsing for semidirectional Lambek Grammar is NP-complete
ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
Comparing hierarchies of types in models of linear logic
Information and Computation
Applications of intuitionistic logic in Answer Set Programming
Theory and Practice of Logic Programming
An effective fixpoint semantics for linear logic programs
Theory and Practice of Logic Programming
Register allocation by proof transformation
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
Generation, Lambek calculus, Montague's semantics and semantic proof nets
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
A Matrix Characterization for Multiplicative Exponential Linear Logic
Journal of Automated Reasoning
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Agents via Mixed-Mode Computation in Linear Logic
Annals of Mathematics and Artificial Intelligence
Poset-valued sets or how to build models for linear logics
Theoretical Computer Science - Mathematical foundations of programming semantics
Possible worlds and resources: the semantics of BI
Theoretical Computer Science - Mathematical foundations of programming semantics
Theoretical Computer Science - Logic, semantics and theory of programming
Stratified coherence spaces: a denotational semantics for light linear logic
Theoretical Computer Science - Implicit computational complexity
Soft linear logic and polynomial time
Theoretical Computer Science - Implicit computational complexity
Towards a quantum programming language
Mathematical Structures in Computer Science
Model checking linear logic specifications
Theory and Practice of Logic Programming
From process logic to program logic
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Multiset rewriting and the complexity of bounded security protocols
Journal of Computer Security
A model of runtime transformation for distributed systems based on directed acyclic graph model
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Adaptable system/Software architectures
Strong normalisation in the π-calculus
Information and Computation
Phase semantics and decidability of elementary affine logic
Theoretical Computer Science - Logic, semantics and theory of programming
(Optimal) duplication is not elementary recursive
Information and Computation
Linear lambda calculus and PTIME-completeness
Journal of Functional Programming
P#: a concurrent prolog for the .NET framework
Software—Practice & Experience
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms
Journal of Logic, Language and Information
Correspondence assertions for process synchronization in concurrent communications
Journal of Functional Programming
Noninterference through flow analysis
Journal of Functional Programming
Classical linear logic of implications
Mathematical Structures in Computer Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying safety policies with size properties and alias controls
Proceedings of the 27th international conference on Software engineering
Profunctors, open maps and bisimulation
Mathematical Structures in Computer Science
Monadic concurrent linear logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Towards abstract categorial grammars
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
A step-indexed model of substructural state
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Mathematical Structures in Computer Science
A short survey of isomorphisms of types
Mathematical Structures in Computer Science
Proof nets for unit-free multiplicative-additive linear logic
ACM Transactions on Computational Logic (TOCL)
CONCUR 2005 - Concurrency Theory
The semantics of BI and resource tableaux
Mathematical Structures in Computer Science
From proof-nets to bordisms: the geometric meaning of multiplicative connectives
Mathematical Structures in Computer Science
On an open problem of Amadio and Curien: the finite antichain condition
Information and Computation
Learning from a substructural perspective
ConLL '00 Proceedings of the 2nd workshop on Learning language in logic and the 4th conference on Computational natural language learning - Volume 7
Intuitionistic phase semantics is almost classical
Mathematical Structures in Computer Science
A structural approach to reversible computation
Theoretical Computer Science
Formal functional description of semantic web services: the logic description method
Proceedings of the 2006 international workshop on Service-oriented software engineering
Theoretical Computer Science - Algebraic methods in language processing
Collection analysis for Horn clause programs
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Composition of semantic web services using linear logic theorem proving
Information Systems - Special issue: The semantic web and web services
Interactive observability in Ludics: the geometry of tests
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Syntax vs. semantics: a polarized approach
Theoretical Computer Science - Game theory meets theoretical computer science
Information and Computation
Structure of proofs and the complexity of cut elimination
Theoretical Computer Science
Linear and affine logics with temporal, spatial and epistemic operators
Theoretical Computer Science
Fast verification of MLL proof nets via IMLL
ACM Transactions on Computational Logic (TOCL)
Flexible agent protocols via temporal and resource-based reasoning
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Geometrical semantics for linear logic (multiplicative fragment)
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
A lambda calculus for quantum computation with classical control
Mathematical Structures in Computer Science
Types and typechecking for Communicating Quantum Processes
Mathematical Structures in Computer Science
Call-by-need in token-passing nets
Mathematical Structures in Computer Science
On light logics, uniform encodings and polynomial time
Mathematical Structures in Computer Science
On structuring proof search for first order linear logic
Theoretical Computer Science
Scenario analysis based on linear logic
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology
Iterator specification with typestates
Proceedings of the 2006 conference on Specification and verification of component-based systems
A system of interaction and structure
ACM Transactions on Computational Logic (TOCL)
Mathematical Structures in Computer Science
Weak linearization of the lambda calculus
Theoretical Computer Science - Applied semantics: Selected topics
Informational logic in knowledge representation and automated deduction
AI Communications
Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
Electronic Notes in Theoretical Computer Science (ENTCS)
Relating State-Based and Process-Based Concurrency through Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Elementary Complexity and Geometry of Interaction
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Strong Normalisation of Cut-Elimination in Classical Logic
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Polarized unification grammars
ACL-44 Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics
Categorical proof theory of classical propositional calculus
Theoretical Computer Science - Logic, language, information and computation
Theoretical Computer Science - Logic, language, information and computation
Artificial Intelligence
Event Domains, Stable Functions and Proof-Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Conformal Field Theory as a Nuclear Functor
Electronic Notes in Theoretical Computer Science (ENTCS)
Definability and Full Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
Resources, concurrency, and local reasoning
Theoretical Computer Science
Theoretical Computer Science
Theoretical Computer Science
Hybridizing a Logical Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
The Power of Closed Reduction Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Alternative Logics: a book review: SIGACT news logic column 18
ACM SIGACT News
A Graph Abstract Machine Describing Event Structure Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
A uniform type structure for secure information flow
ACM Transactions on Programming Languages and Systems (TOPLAS)
A proof theory for machine code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Natural deduction via graphs: formal definition and computation rules
Mathematical Structures in Computer Science
A denotational semantics for the symmetric interaction combinators
Mathematical Structures in Computer Science
Modular typestate checking of aliased objects
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Intuitionistic computability logic
Acta Cybernetica
Higher-Order and Symbolic Computation
Multiparty asynchronous session types
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Temporal linear logic as a basis for flexible agent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Specifying Properties of Concurrent Computations in CLF
Electronic Notes in Theoretical Computer Science (ENTCS)
A Meta Linear Logical Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Deduction Graphs with Universal Quantification
Electronic Notes in Theoretical Computer Science (ENTCS)
Rewritings for Polarized Multiplicative and Exponential Proof Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Soft Linear Logic and Polynomial Complexity Classes
Electronic Notes in Theoretical Computer Science (ENTCS)
Token-passing Nets for Functional Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
L3: A Linear Language with Locations
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Theoretical Computer Science
Cyclic Extensions of Order Varieties
Electronic Notes in Theoretical Computer Science (ENTCS)
Ambiguity detection in multimodal systems
AVI '08 Proceedings of the working conference on Advanced visual interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantically linear programming languages
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Computation with classical sequents
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Uniformity and the Taylor expansion of ordinary lambda-terms
Theoretical Computer Science
Real-time scheduling of batch systems using Petri nets and linear logic
Journal of Systems and Software
Maximality and totality of stable functions in the category of stable bifinite domains
Computers & Mathematics with Applications
Operational Semantics for Positive Relevant Logics Without Distribution
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Uniform Circuits, & Boolean Proof Nets
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Multiplexor Categories and Models of Soft Linear Logic
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Hybrid Functional Interpretations
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Union of Reducibility Candidates for Orthogonal Constructor Rewriting
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Petri Nets, Discrete Physics, and Distributed Quantum Computation
Concurrency, Graphs and Models
On Game Semantics of the Affine and Intuitionistic Logics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Functional-Logic Graph Parser Combinators
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Perpetuality for Full and Safe Composition (in a Constructive Setting)
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
On Linear Logic Planning and Concurrency
Language and Automata Theory and Applications
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
A Characterisation of Lambda Definability with Sums Via T T-Closure Operators
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Verifying correct usage of atomic blocks and typestate
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Electronic Notes in Theoretical Computer Science (ENTCS)
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
On the proof complexity of deep inference
ACM Transactions on Computational Logic (TOCL)
Electronic Notes in Theoretical Computer Science (ENTCS)
Linear types for computational effects
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
On Affine Usages in Signal-Based Communication
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Coordination: Reo, Nets, and Logic
Formal Methods for Components and Objects
Towards Ludics Programming: Interactive Proof Search
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
The Art of Non-asserting: Dialogue with Nāgārjuna
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Light Linear Logic with Controlled Weakening
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Plans, Actions and Dialogues Using Linear Logic
Journal of Logic, Language and Information
Automata theory based on complete residuated lattice-valued logic: Pushdown automata
Fuzzy Sets and Systems
A logical account of uncertain databases based on linear logic
Proceedings of the 12th International Conference on Database Theory
New Developments in Environment Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
Mathematical Structures in Computer Science
A Query System for Texts with Macros
IEICE - Transactions on Information and Systems
Encoding of Planning Problems and Their Optimizations in Linear Logic
Applications of Declarative Programming and Knowledge Management
Universal Hard Interaction for Clockless Computation: Dem Glücklichen schlägt keine Stunde!
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Automata theory based on complete residuated lattice-valued logic: A categorical approach
Fuzzy Sets and Systems
On Domain Theory over Girard Quantales
Fundamenta Informaticae
On traced monoidal closed categories
Mathematical Structures in Computer Science
ACM Transactions on Computational Logic (TOCL)
Parameterised notions of computation
Journal of Functional Programming
A Hyprolog Parsing Methodology for Property Grammars
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Merging Procedural and Declarative Proof
Types for Proofs and Programs
Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets
Types for Proofs and Programs
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Thick Subtrees, Games and Experiments
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Bounded Linear Logic, Revisited
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
The Cut-Elimination Theorem for Differential Nets with Promotion
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Algebraic Totality, towards Completeness
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
An Explicit Formula for the Free Exponential Modality of Linear Logic
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Game Semantics for Access Control
Electronic Notes in Theoretical Computer Science (ENTCS)
Contraction-free Proofs and Finitary Games for Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Logical Semantics for Stability
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Practical Tactics for Separation Logic
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Journal of Artificial Intelligence Research
Focusing and polarization in linear, intuitionistic, and classical logics
Theoretical Computer Science
Mathematical Structures in Computer Science
From parametric polymorphism to models of polymorphic fpc
Mathematical Structures in Computer Science
Bidding languages for combinatorial auctions
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Switch graphs for parsing type logical grammars
Parsing '05 Proceedings of the Ninth International Workshop on Parsing Technology
Strong normalization property for second order linear logic
Theoretical Computer Science
Linear logic by levels and bounded time complexity
Theoretical Computer Science
Triangular norm based predicate fuzzy logics
Fuzzy Sets and Systems
Journal of Logic, Language and Information
The IRIS Network of Excellence: Future Directions in Interactive Storytelling
ICIDS '09 Proceedings of the 2nd Joint International Conference on Interactive Digital Storytelling: Interactive Storytelling
Parallel Reduction in Resource Lambda-Calculus
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
Encoding an Object Calculus into Interaction Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Programming Language for Interaction Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebra and Sequent Calculus for Epistemic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
A Language For Multiplicative-additive Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Typechecking Safe Process Synchronization
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards an Intersection Typed System à la Church
Electronic Notes in Theoretical Computer Science (ENTCS)
Intersection Types for Light Affine Lambda Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A Concurrent Model for Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A Game Semantics for Proof Search: Preliminary Results
Electronic Notes in Theoretical Computer Science (ENTCS)
Lightweight linear types in system f°
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
On the scope of some formulas defining additive connectives in fuzzy logics
Fuzzy Sets and Systems
On an open problem of Amadio and Curien: The finite antichain condition
Information and Computation
Information and Computation
Composition of Semantic Web services using Linear Logic theorem proving
Information Systems
Journal of Automated Reasoning
Qualitative analysis of workflow nets using linear logic: soundness verification
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Declarative composition routing protocols adaptation in MANET using rough set theory
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
On the expressiveness of interaction
Theoretical Computer Science
Theoretical Computer Science
Functional interpretations of linear and intuitionistic logic
Information and Computation
Sequentiality and the π-calculus
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Parallel implementation models for the λ-calculus using the geometry of interaction
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Challenges for action theories
Challenges for action theories
Stable computational semantics of conflict-free rewrite systems (partial orders with duplication)
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Semantic barbs and biorthogonality
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Polarized proof nets with cycles and fixpoints semantics
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Agent-oriented programming in linear logic: an example
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Proof-search in implicative linear logic as a matching problem
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
The boundary between decidable and undecidable fragments of the fluent calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
A logical verification method for security protocols based on linear logic and BAN logic
ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
Register allocation by proof transformation
ESOP'03 Proceedings of the 12th European conference on Programming
Computational interpretations of classical linear logic
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
A formal language for electronic contracts
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
An exact correspondence between a typed pi-calculus and polarised proof-nets
Theoretical Computer Science
A logical calculus for modelling interferences
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
On recursion, replication and scope mechanisms in process calculi
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Least and greatest fixed points in linear logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Retractile proof nets of the purely multiplicative and additive fragment of linear logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
The separation theorem for differential interaction nets
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
A hybrid grammar-based approach to multimodal languages specification
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Self-organization of wireless networks through declarative local communication
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Closures and modules within linear logic concurrent constraint programming
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Call-by-name and call-by-value in normal modal logic
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Modeling agents' choices in temporal linear logic
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Semantic heterogeneity in evidentials
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
Interpreting a finitary pi-calculus in differential interaction nets
Information and Computation
Abstract deduction and inferential models for type theory
Information and Computation
Functional interpretations of intuitionistic linear logic
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Jumping boxes: representing lambda-calculus boxes by jumps
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Enriching an effect calculus with linear types
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Focalisation and classical realisability
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Non-commutative first-order sequent calculus
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Confluence of pure differential nets with promotion
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
On abstract resource semantics and computability logic
Journal of Computer and System Sciences
Finding unity in computational logic
Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference
Communications of the ACM
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Type inference in intuitionistic linear logic
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Journal of Automated Reasoning
Some reasons for generalising domain theory
Mathematical Structures in Computer Science
Towards a typed geometry of interaction
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling Multilateral Negotiation in Linear Logic
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Linear Logic for Non-Linear Storytelling
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Lolliproc: to concurrency from classical linear logic via curry-howard and control
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Higher-order representation of substructural logics
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Distance makes the types grow stronger: a calculus for differential privacy
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Rewriting systems for reachability in vector addition systems with pairs
RP'10 Proceedings of the 4th international conference on Reachability problems
A modality for safe resource sharing and code reentrancy
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
A local criterion for polynomial-time stratified computations
FOPARA'09 Proceedings of the First international conference on Foundational and practical aspects of resource analysis
Non-deterministic Boolean proof nets
FOPARA'09 Proceedings of the First international conference on Foundational and practical aspects of resource analysis
LC graphs for the Lambek calculus with product
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
Classical and intuitionistic subexponential logics are equally expressive
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Untyping typed algebraic structures and colouring proof nets of cyclic linear logic
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Journal of Logic, Language and Information
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling of interactive storytelling and validation of scenario by means of linear logic
ICIDS'10 Proceedings of the Third joint conference on Interactive digital storytelling
Expressing properties of resource-bounded systems: the logics RTL* and RTL
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Proceedings of the 5th ACM workshop on Programming languages meets program verification
A simple class of Kripke-style models in which logic and computation have equal standing
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Visual Languages and Computing
Linear logic as a tool for planning under temporal uncertainty
Theoretical Computer Science
A semantic measure of the execution time in linear logic
Theoretical Computer Science
A linear algorithm for MLL proof net correctness and sequentialization
Theoretical Computer Science
Correctness of linear logic proof structures is NL-complete
Theoretical Computer Science
Intuitionistic differential nets and lambda-calculus
Theoretical Computer Science
Nuclei and conuclei on residuated lattices
Fuzzy Sets and Systems
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
A system of interaction and structure IV: The exponentials and decomposition
ACM Transactions on Computational Logic (TOCL)
Non-uniform (hyper/multi)coherence spaces
Mathematical Structures in Computer Science
Ludics and web: another reading of standard operations
Ludics, dialogue and interaction
Ontologies and coherence spaces
Ludics, dialogue and interaction
Complexity of strongly normalising λ-terms via non-idempotent intersection types
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
BI as an assertion language for mutable data structures
ACM SIGPLAN Notices
Disjunction property and complexity of substructural logics
Theoretical Computer Science
Linearity and recursion in a typed Lambda-calculus
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Nested proof search as reduction in the Lambda-calculus
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Concurrent logic games on partial orders
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Categorial grammars and minimalist grammars
Logic and grammar
Minimalist grammars in the light of logic
Logic and grammar
Towards matching of service feature models based on linear logic
Proceedings of the 15th International Software Product Line Conference, Volume 2
Orthogonality and Boolean algebras for deduction modulo
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
Realizability proof for normalization of full differential linear logic
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
Böhm's theorem for resource lambda calculus through Taylor expansion
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
Chemical signaling as a useful metaphor for resource management
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part I
Well-nestedness properly subsumes strict derivational minimalism
LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Relating computational effects by ⊤⊤-lifting
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Intuitionistic sequent-style calculus with explicit structural rules
TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
Revisiting information hiding: reflections on classical and nonclassical modularity
Proceedings of the 25th European conference on Object-oriented programming
Proceedings of the 25th European conference on Object-oriented programming
Structural analysis of narratives with the Coq proof assistant
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Linearity and PCF: a semantic insight!
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Linearity and iterator types for Gödel's System
Higher-Order and Symbolic Computation
Static typing for a substructural lambda calculus
Frontiers of Computer Science in China
Lightweight verification of a multi-task threaded server: a case study with the plural tool
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Studia Logica
Coalgebraic semantics for derivations in logic programming
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
A decidable first-order logic for medical reasoning
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
A theory of substructural types and control
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Least and Greatest Fixed Points in Linear Logic
ACM Transactions on Computational Logic (TOCL)
A methodology to derive a valid scenario of an interactive storytelling
Proceedings of the 8th International Conference on Advances in Computer Entertainment Technology
Merging uncertain knowledge bases in a possibilistic logic framework
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
An algebraic semantics for possibilistic logic
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Symbolic negotiation with linear logic
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
A local system for intuitionistic logic
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Commutative locative quantifiers for multiplicative linear logic
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
The language X: circuits, computations and classical logic
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Synthesis of interface automata
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
On the specification of sequent systems
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Syntactic control of interference for separation logic
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type system for borrowing permissions
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards concurrent type theory
TLDI '12 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Strong normalization of MLF via a calculus of coercions
Theoretical Computer Science
Functorial boxes in string diagrams
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Verification of ptime reducibility for system f terms via dual light affine logic
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Jump from parallel to sequential proofs: multiplicatives
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Acyclicity and coherence in multiplicative exponential linear logic
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
From deduction graphs to proof nets: boxes and sharing in the graphical presentation of deductions
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Partial deduction for linear logic—the symbolic negotiation perspective
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Relevant logic and paraconsistency
Inconsistency Tolerance
The distributed interval geometric machine model
PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Automatic composition of semantic web services – a theorem proof approach
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
The Scott model of linear logic is the extensional collapse of its relational model
Theoretical Computer Science
A focusing inverse method theorem prover for first-order linear logic
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
A feasible algorithm for typing in elementary affine logic
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Reducibility and ⊤⊤-lifting for computation types
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
L3: a linear language with locations
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
A lambda calculus for quantum computation with classical control
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Call-by-name and call-by-value as token-passing interaction nets
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Extending the explicit substitution paradigm
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Abstract scalars, loops, and free traced and strongly compact closed categories
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Distributed control flow with classical modal logic
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
A semantic formulation of ⊤⊤-lifting and logical predicates for computational metalanguage
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
L-Nets, strategies and proof-nets
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Focusing the inverse method for linear logic
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Towards a typed geometry of interaction
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Safe programming with pointers through stateful views
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
A terminating and confluent linear lambda calculus
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Modal nonassociative lambek calculus with assumptions: complexity and context-freeness
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
An approach to innocent strategies as graphs
Information and Computation
Encoding strategies in the lambda calculus with interaction nets
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Semantic web service composition through a p2p-based multi-agent environment
AP2PC'05 Proceedings of the 4th international conference on Agents and Peer-to-Peer Computing
Aspect-Oriented programming in higher-order and linear logic
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
A polytime functional language from light linear logic
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Combinatory categorial grammar as a substructural logic: preliminary remarks
JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
How authors benefit from linear logic in the authoring process of interactive storyworlds
ICIDS'11 Proceedings of the 4th international conference on Interactive Digital Storytelling
Elementary linear logic revisited for polynomial time and an exponential time hierarchy
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Virtualizing real-world objects in FRP
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
FP'95 Proceedings of the 1995 international conference on Functional Programming
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Events, causality and symmetry
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
A unified theory of program logics: an approach based on the π-calculus
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp
Proceedings of the 27th Annual ACM Symposium on Applied Computing
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A declarative coordination language
Computer Languages
A measure of information reuse to compare distributed protocols
Computer Communications
Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
Full abstraction for set-based models of the symmetric interaction combinators
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Functions as session-typed processes
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Calculus of cooperation and game-based reasoning about protocol privacy
ACM Transactions on Computational Logic (TOCL)
Logic and Program Semantics
A proof-carrying file system with revocable and use-once certificates
STM'11 Proceedings of the 7th international conference on Security and Trust Management
Agent deliberation via forward and backward chaining in linear logic
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Preventing arithmetic overflows in alloy
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Ludics and natural language: first approaches
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Game Semantics in String Diagrams
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
On the Complexity of Linear Authorization Logics
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Constructing Fully Complete Models for Multiplicative Linear Logic
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
Universal Hard Interaction for Clockless Computation: Dem Glücklichen schlägt keine Stunde!
Fundamenta Informaticae - Machines, Computations and Universality, Part II
On Domain Theory over Girard Quantales
Fundamenta Informaticae
Strong equivalence of RASP programs
Correct Reasoning
Wormholes: introducing effects to FRP
Proceedings of the 2012 Haskell Symposium
Superficially substructural types
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
L$^3$: A Linear Language with Locations
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
A polynomial time λ-calculus with multithreading and side effects
Proceedings of the 14th symposium on Principles and practice of declarative programming
Modeling datalog fact assertion and retraction in linear logic
Proceedings of the 14th symposium on Principles and practice of declarative programming
From the π-calculus to flat GHC
Proceedings of the 14th symposium on Principles and practice of declarative programming
A linear concurrent constraint approach for the automatic verification of access permissions
Proceedings of the 14th symposium on Principles and practice of declarative programming
A Study of Interconnections Between Rough and 3-Valued Łukasiewicz Logics
Fundamenta Informaticae
Elementary Complexity and Geometry of Interaction
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Strong Normalisation of Cut-Elimination in Classical Logic
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Proceedings of the Fifth Balkan Conference in Informatics
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures
Fundamenta Informaticae
A Linear Logic View of Object Petri Nets
Fundamenta Informaticae
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae
Cut Elimination For Classical Bilinear Logic
Fundamenta Informaticae
Studia Logica
Remarks on semantic completeness for proof-terms with Laird's dual affine/intuitionistic λ-Calculus
Rewriting Computation and Proof
Rewriting Computation and Proof
Interpreting a finitary pi-calculus in differential interaction nets
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Asynchronous games: innocence without alternation
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Full completeness: interactive and geometric characterizations of the space of proofs
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
The theory of calculi with explicit substitutions revisited
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
From proofs to focused proofs: a modular proof of focalization in linear logic
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Correctness of multiplicative (and exponential) proof structures is NL-complete
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Focusing and polarization in intuitionistic logic
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Linear logical voting protocols
VoteID'11 Proceedings of the Third international conference on E-Voting and Identity
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Relating computational effects by ττ-lifting
Information and Computation
Linear dependent types for differential privacy
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The taming of recurrences in computability logic through cirquent calculus, Part I
Archive for Mathematical Logic
Inconsistency-Tolerant Bunched Implications
International Journal of Approximate Reasoning
A formal framework for specifying sequent calculus proof systems
Theoretical Computer Science
Syllogisms in Rudimentary Linear Logic, Diagrammatically
Journal of Logic, Language and Information
Ribbon proofs for separation logic
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Proof systems and transformation games
Annals of Mathematics and Artificial Intelligence
Fuzzy Sets and Systems
A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
Foundational proof certificates in first-order logic
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Identities in modular arithmetic from reversible coherence operations
RC'13 Proceedings of the 5th international conference on Reversible Computation
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Subformula linking as an interaction method
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
A general proof system for modalities in concurrent constraint programming
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Probabilistic coherence spaces are fully abstract for probabilistic PCF
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Applying quantitative semantics to higher-order quantum computing
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
A nonstandard standardization theorem
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
(Dual) hoops have unique halving
Automated Reasoning and Mathematics
Notions of aliasing and ownership
Aliasing in Object-Oriented Programming
Displacement logic for anaphora
Journal of Computer and System Sciences
Weighted Relational Models of Typed Lambda-Calculi
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Strong Normalization in the π-calculus with Intersection and Union Types
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
Intersection Types from a Proof-theoretic Perspective
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
Reasoning about Resources and Information: A Linear Logic Approach
Fundamenta Informaticae
Hi-index | 5.27 |