LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Implicative formulae in the proofs of computations' analogy
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus for overloaded functions with subtyping
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Orthologic and quantum logic: models and computational elements
Journal of the ACM (JACM)
Node rewriting in graphs and hypergraphs: a categorical framework
Theoretical Computer Science
On category theory as a (meta) ontology for information systems research
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Introducing the mathematical category of artificial perceptions
Annals of Mathematics and Artificial Intelligence
Perceive this as that – Analogies, artificial perception, and category theory
Annals of Mathematics and Artificial Intelligence
Spatial Cognition and Computation
Axiomatizing Fully Complete Models for ML Polymorphic Types
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
A Higher-Order Calculus for Categories
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Optimization Problems Categories
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Conceptual Integration of Multiple Partial Geometric Models
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
A Fully Complete PER Model for ML Polymorphic Types
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Reverse Engineering Legacy Information Systems for Internet Based Interoperation
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
The constructed objectivity of mathematics and the cognitive subject
Quantum mechanics, mathematics, cognition and action
Software as science: science as software
ICHC Proceedings of the international conference on History of computing: software issues
βη-complete models for System F
Mathematical Structures in Computer Science
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
Universal homogeneous graph-like structures and domains
Mathematical Structures in Computer Science
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
The call-by-value λ-calculus: a semantic investigation
Mathematical Structures in Computer Science
An axiomatization of partial n-place operations
Mathematical Structures in Computer Science
A gentle introduction to semantic subtyping
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A structural approach to reversible computation
Theoretical Computer Science
Modeling Pointer Redirection as Cyclic Term-graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Relationship between Filter Spaces and Weak Limit Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Database interoperability through state-based logical data independence
International Journal of Computer Applications in Technology
Semantically linear programming languages
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
Journal of the ACM (JACM)
A Type Driven Theory of Predication with Complex Types
Fundamenta Informaticae - Logic for Pragmatics
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A Relational Model of a Parallel and Non-deterministic λ -Calculus
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Information and Computation
Distinctions Produce a Taxonomic Lattice: Are These the Units of Mentalese?
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
The sequential topology on is not regular
Mathematical Structures in Computer Science
Graphical reasoning in compact closed categories for quantum computation
Annals of Mathematics and Artificial Intelligence
State Dependent IO-Monads in Type Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
A new model construction for the polymorphic lambda calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Bounded lattice t-norms as an interval category
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Categorical Models for Simply Typed Resource Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Kleisli category and database mappings
International Journal of Intelligent Information and Database Systems
Linking algebraic observational equivalence and bisimulation
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Strategic health information management and forecast: the birdwatching approach
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume Part III
A first-order calculus for allegories
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Categorical properties of M-indiscernibility spaces
Theoretical Computer Science
Object-Oriented specification composition and refinement via category theoretic computations
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Computation of partial automata through span composition
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Arrow decision logic for relational information systems
Transactions on Rough Sets V
Map algebra extended with functors for temporal data
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Data mining in inductive databases
KDID'05 Proceedings of the 4th international conference on Knowledge Discovery in Inductive Databases
Data intensive distributed computing in data aware self-organizing networks
Transactions on Computational Science XV
Approximating Markov processes through filtration
Theoretical Computer Science
A Type Driven Theory of Predication with Complex Types
Fundamenta Informaticae - Logic for Pragmatics
What is turing's comparison between mechanism and writing worth?
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
A Relation Between Unambiguous Regular Expressions and Abstract Data Types
Fundamenta Informaticae
Parametric And Type-Dependent Polymorphism
Fundamenta Informaticae
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Incomputability in physics and biology
Mathematical Structures in Computer Science
Hi-index | 0.00 |