Search results for "Types"

Hits ?▲	Authors	Title	Venue	Year	Link
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