Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Coalgebraic Behavioral Metrics
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Free complete Wasserstein algebras
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Categorical structures for type theory in univalent foundations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coalgebraic Infinite Traces and Kleisli Simulations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Java & Lambda: a Featherweight Story
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Galois connection between Turing jumps and limits
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Ologisms
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Trees from Functions as Processes
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unguarded Recursion on Coinductive Resumptions
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Infinite and Bi-infinite Words with Decidable Monadic Theories
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The recursion hierarchy for PCF is strict
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Inhabitation for Non-idempotent Intersection Types
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unification and Logarithmic Space
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
A Ghost at $omega_1$
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The intuitionistic temporal logic of dynamical systems
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relational Graph Models at Work
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Covering Problem
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text