Intensional properties of polygraphs

Intensionality and Two-steps Interpretations

Interaction Grammars

Interaction Systems and Linear Logic, a different games semantics

Interactive Learning Based Realizability and 1-Backtracking Games

Interactive Learning-Based Realizability for Heyting Arithmetic with EM1

Interactive Realizers and Monads

Interactive Small-Step Algorithms I: Axiomatization

Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem

Interface Building for Software by Modular Three-Valued Abstraction Refinement

Internalized realizability in pure type systems

Interpolant-Based Transition Relation Approximation

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case

Interpolation in local theory extensions

Intersection Logic in sequent calculus style

Intersection Types and Lambda Theories

Intersection types for unbind and rebind

Interval Neutrosophic Logics: Theory and Applications

Interval Neutrosophic Sets and Logic: Theory and Applications in Computing

Introduction to clarithmetic I