Introduction to clarithmetic II

Introduction to clarithmetic III

Introduction to linear logic and ludics, part I

Introduction to linear logic and ludics, part II

Intuitionistic Completeness of First-Order Logic

Intuitionistic computability logic

Investigations on a Pedagogical Calculus of Constructions

Involutive Categories and Monoids, with a GNS-correspondence

IO vs OI in Higher-Order Recursion Schemes

Is it a "Good" Encoding of Mixed Choice? (Technical Report)

Is Ramsey's theorem omega-automatic?

Isabelle/PIDE as Platform for Educational Tools

Isabelle: The Next 700 Theorem Provers

Isomorphisms of scattered automatic linear orders

Isomorphisms of types in the presence of higher-order references

k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

Kleene algebra with domain

Kleene, Rogers and Rice Theorems Revisited in C and in Bash

Knowledge bases over algebraic models. Some notes about informational equivalence