Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Michael Moortgat |
A Note on Multidimensional Dyck Languages. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Samson Abramsky, Mehrnoosh Sadrzadeh |
Semantic Unification - A Sheaf Theoretic Approach to Natural Language. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | V. Michele Abrusci |
On Residuation. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Wojciech Buszkowski |
Multi-Sorted Residuation. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Gonzalo E. Reyes |
A Mathematical Analysis of Masaccio's Trinity. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Stepan L. Kuznetsov |
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Arno Bastenhof |
Type Similarity for the Lambek-Grishin Calculus Revisited. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Miroslawa Kolowska-Gawiejnowicz |
On Canonical Embeddings of Residuated Groupoids. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Mati Pentus |
The Monotone Lambek Calculus Is NP-Complete. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Alexey Sorokin |
Conjoinability in 1-Discontinuous Lambek Calculus. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger |
A Logical Basis for Quantum Evolution and Entanglement. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Roberto Bonato, Christian Retoré |
Learning Lambek Grammars from Proof Frames. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Annie Foret |
On Associative Lambek Calculus Extended with Basic Proper Axioms. |
Categories and Types in Logic, Language, and Physics |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Amal Ahmed 0001, Nick Benton, Martin Hofmann 0001, Greg Morrisett (eds.) |
Types, Logics and Semantics for State, 03.02. - 08.02.2008 |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
24 | Sophia Drossopoulou, Adrian Francalanza, Peter Müller 0001, Alexander J. Summers |
A Unified Framework for Verification Techniques for Object Invariants. |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
24 | Thierry Coquand, Henri Lombardi, Marie-Françoise Roy |
An elementary characterisation of Krull dimension. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Nicola Gambino |
Presheaf models for Constructive Set Theories. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Peter Aczel, Christopher Fox |
Separation Properties in Constructive Topology. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Thomas Streicher |
Universes in Toposes. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Douglas S. Bridges, Luminita Vîta |
The constructive uniqueness of the locally convex topology on rn. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Alex Simpson |
Constructive Set Theories and their Category-theoretic Models. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Hiroki Takamura |
An introduction to the theory of c*-algegras in constructive mathematics. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Stephen Vickers |
Some constructive roads to Tychonoff. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Errett Bishop, Douglas S. Bridges |
Introduction. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Douglas S. Bridges, Robin Havea |
Approximations to the numerical range of an element of a Banach algebra. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Anna Bucalo, Giuseppe Rosolini |
Spaces as comonoids. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Ulrich Berger 0001, Monika Seisenberger |
Applications of inductive definitions and choice principles to program synthesis. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Maria Emilia Maietti, Giovanni Sambin |
Toward a minimalistic foundation for constructive mathematics. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Erik Palmgren |
Continuity on the real line and in formal spaces. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Maria Emilia Maietti |
Predicative exponentiation of locally compact formal topologies over inductively generated ones. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Michael Rathjen |
Generalized Inductive Definitions in Constructive Set Theory. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Vasco Brattka |
Computability on Non-Separable Banach Spaces and Landau's Theorem. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Sara Negri, Jan von Plato |
The duality of lcassical and constructive notions and proofs. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Peter G. Hancock, Anton Setzer |
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Hajime Ishihara |
Constructive reverse mathematics: compactness properties. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Bas Spitters |
Approximating integrable sets by compacts constructively. |
From sets and types to topology and analysis |
2005 |
DBLP BibTeX RDF |
|
24 | Dominic Duggan |
Sharing in Typed Module Assembly Language. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Karl Crary |
Sound and Complete Elimination of Singleton Kinds. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Sophia Drossopoulou |
An Abstract Model of Java Dynamic Linking and Loading. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Andrew Bernard, Robert Harper 0001, Peter Lee 0001 |
How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Zhong Shao, Valery Trifonov |
Type-Directed Continuation Allocation. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Peter Thiemann 0001 |
Formalizing Resourve Allocation in a Compiler. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su 0001 |
A Toolkit for Constructing Type- and Constraint-Based Program Analyses. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Vincent Balat, Olivier Danvy |
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann |
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Nobuhisa Fujinami |
Determination of Dynamic Method Dispatches Using Run-Time Code Generation. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Martin Elsman |
Polymorphic Equality - No Tags Required. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Joseph L. Zachary, Katherine A. Yelick |
Using Moded Type Systems to Support Abstraction in Logic Programs. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
24 | Michael Hanus |
Logic Programming with Type Specifications. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
24 | Gopalan Nadathur, Frank Pfenning |
The Type System of a Higher-Order Logic Programming Language. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
24 | Philip W. Dart, Justin Zobel |
A Regular Type Language for Logic Programs. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
24 | Patricia M. Hill, Rodney W. Topor |
A Semantics for Typed Logic Programs. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
24 | Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro |
Polymorphically Typed Logic Programs. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
24 | Bruno Bertolino, Luigi Meo, Dino Pedreschi, Franco Turini |
The Type System of LML. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
24 | Peter H. Schmitt, Wolfgang Wernecke |
Tableau Calculus for Order Sorted Logic. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Ulrich Hedtstück, Peter H. Schmitt |
A Calculus for Order-Sorted Predicate Logic with Sort Literals. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Arnold Oberschelp |
Order Sorted Predicate Logic. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Bernd Owsnicki-Klewe |
A General Characterization of Term Description Languages. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Werner Dilger, Hans Voß |
Sorts in Qualitative Reasoning. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann |
Structure and Control of the L-LILOG Inference System. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Udo Pletat, Kai von Luck |
Knowledge Representation in LILOG. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Jürgen Allgayer, Carola Reddig-Siekmann |
What KL-ONE Lookalikes Need to Cope with Natural Language: Scope and Aspect of Plural Noun Phrases. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Christoph Walther |
Many-Sorted Inferences in Automated Theorem Proving. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Bernd Mahr, Carla Umbach |
Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Bernhard Nebel, Gert Smolka |
Representation and Reasoning with Attributive Descriptions. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Kurt Eberle |
Eventualities in a Natural Language Understanding System. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Malcolm P. Atkinson 0001, Peter Buneman, Ronald Morrison (eds.) |
Data Types and Persistence, Informal Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, UK, August 1985 |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Antonio Albano, Giorgio Ghelli, Renzo Orsini |
The Implementation of Galileo's Persistent Values. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | G. Lawrence Krablin |
Building Flexible Multilevel Transactions in a Distributed Persistent Environment. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | James E. Donahue |
Integrating Programming Languages with Database Systems. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Malcolm S. Powell |
Adding Programming Facilities to an Abstract Data Store. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | David C. J. Matthews |
An Overview of the Poly Programming Language. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Rishiyur S. Nikhil |
Functional Databases, Functional Languages. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Ian F. Currie |
Fileestore and Modes in Flex. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Hassan Aït-Kaci |
Integrating Data Type Inheritance into Logic Programming. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Alexander Borgida |
Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Christopher L. F. Haynes |
Data Privacy in a Persistent Environment. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Peter M. D. Gray, David S. Moffat, J. B. H. du Boulay |
Persistent Prolog: A Secondary Storage Manager for Prolog. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Christopher L. F. Haynes |
The Exploitation of Persistence. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Jon Fairbairn |
A New Type-Checker for a Functional Language. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Cliff B. Jones, T. N. Nipkow, Mario Wolczko |
MDB: A Graph-Like Persistent Database. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Luca Cardelli, David B. MacQueen |
Persistence and Type Abstraction. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | T. H. Merrett |
Persistence and Aldat. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | K. T. Sridhar, C. A. R. Hoare |
JSD Expressed in CSP. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Stanley B. Zdonik, Peter Wegner |
A Database Approach to Languages, Libraries and Environments. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Antonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi |
The Type System of Galileo. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | W. Paul Cockshott |
Addressing Mechanisms and Persistent Programming. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Antony J. T. Davie |
Conditional Declarations and Pattern Matching. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | R. B. Jones |
An Architecture for Personal Knowledge Management. |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Malcolm P. Atkinson 0001, Peter Buneman, Ronald Morrison |
Preface |
Data Types and Persistence (Appin), Informal Proceedings |
1985 |
DBLP BibTeX RDF |
|
24 | Antonio Albano, Giorgio Ghelli, Renzo Orsini |
The Implementation of Galileo's Persistent Values. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | G. Lawrence Krablin |
Building Flexible Multilevel Transactions in a Distributed Persistent Environment. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | |
Index |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | David C. J. Matthews |
An Overview of the Poly Programming Language. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | Rishiyur S. Nikhil |
Functional Databases, Functional Languages. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | Hassan Aït-Kaci, Roger Nasr |
Integrating Data Type Inheritance into Logic Programming. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | Jon Fairbairn |
A New Type-Checker for a Functional Language. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | Luca Cardelli, David B. MacQueen |
Persistence and Type Abstraction. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | Robert Harper 0001 |
Modules and Persistence in Standard ML. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|
24 | T. H. Merrett |
Persistence and Aldat. |
Data Types and Persistence (Appin) |
1985 |
DBLP BibTeX RDF |
|