Full Text Available
Access Full Text at Repository
Search Results - "Computer Science"
-
On Interpolation and Symbol Elimination in Theory Extensions
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Proper Functors and Fixed Points for Finite Behaviour
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Defining Recursive Predicates in Graph Orders
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Coalgebraic Behavioral Metrics
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Free complete Wasserstein algebras
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Categorical structures for type theory in univalent foundations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Coalgebraic Infinite Traces and Kleisli Simulations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Java & Lambda: a Featherweight Story
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A Galois connection between Turing jumps and limits
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Ologisms
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Trees from Functions as Processes
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Unguarded Recursion on Coinductive Resumptions
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Infinite and Bi-infinite Words with Decidable Monadic Theories
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
The recursion hierarchy for PCF is strict
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Inhabitation for Non-idempotent Intersection Types
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Unification and Logarithmic Space
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A topological interpretation of three Leibnizian principles within the functional extensions
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A Ghost at $omega_1$
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text