41 treff

typeteori
Mina : et logisk rammeverk med klasser basert på Martin-Löfs monomorfe typeteori med eksplisitte substitusjoner
Ole Bjørn Hessen
Bok Bokmål 1996 · Vis mer
Basic simple type theory
Hindley, J. Roger.
Bok Engelsk 1997 · Vis mer
Type theory and functional programming
Simon Thompson
Bok Engelsk 1991 · Vis mer
Extensional constructs in intensional type theory
Martin Hofmann
Bok Engelsk 1997 · Vis mer
Semantics of type theory : correctness, completeness and independence results
Streicher, Thomas.
Bok Engelsk 1991 · Vis mer
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995
Giovanni Sambin, Jan Smith (eds.)
Bok Engelsk 1998 · Vis mer
Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers
Workshop on Specification of Abstract Data Types
Bok Engelsk 1995 · Vis mer
Polymorphic type inference for object-oriented programming languages
Andreas V. Hense
Bok Engelsk 1994 · Vis mer
Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers
Workshop on Specification of Abstract Data Types
Bok Engelsk 1994 · Vis mer
Types and programming languages
Pierce, Benjamin C..
Bok Engelsk 2002 · Vis mer
Object-oriented programming : a unified foundation
Giuseppe Castagna
Bok Engelsk 1997 · Vis mer
Lambda calculus with types
Barendregt, Henk.
Bok Språk ikke angitt 2013 · Vis mer
Recent advances in parsing technology
edited by Harry Bunt and Masaru Tomita
Bok Engelsk 1996 · Vis mer
Handbook of logic in computer science. Vol. 5. Logic and algebraic methods
volume co-ordinator: Dov M. Gabbay
Bok Engelsk 2000 · Vis mer
Compiling Creol safely
Jørgen Hermanrud Fjeld
Bok Engelsk 2005 · Vis mer
Programming languages and systems : first Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings
APLAS 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Types for proofs and programs : international workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
TYPES '98
Bok Engelsk 1999 · Vis mer
Types for proofs and programs : international workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers
TYPES '96
Bok Engelsk 1998 · Vis mer
Logic of computation
NATO Advanced Study Institute on Logic of Computation
Bok Engelsk 1997 · Vis mer
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), Philadelphia, Pennsylvania, May 24-26, 1996
ACM SIGPLAN International Conference on Functional Programming
Bok Engelsk 1996 · Vis mer
The clausal theory of types
Wolfram, D. A.
Bok Engelsk 1993 · Vis mer
Theoretical aspects of computer software : third international symposium, TACS'97, Sendai, Japan, September 23-26, 1997 : proceedings
International Conference TACS
Bok Engelsk 1997 · Vis mer
Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
TPHOLs '97
Bok Engelsk 1997 · Vis mer
Algebraic and logic programming : 5th international conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1996 · Vis mer
Types for proofs and programs : international workshop, TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
TYPES '95
Bok Engelsk 1996 · Vis mer
Isomorphisms of types : from λ-calculus to information retrieval and language design
Roberto Di Cosmo
Bok Engelsk 1995 · Vis mer
Theoretical aspects of object-oriented programming : types, semantics, and language design
edited by Carl A. Gunter and John C. Mitc...
Bok Engelsk 1994 · Vis mer
Types in logic programming
edited by Frank Pfenning
Bok Engelsk 1992 · Vis mer
Language in action : categories, lambdas and dynamic logic
Johan van Benthem
Bok Engelsk 1991 · Vis mer
Proofs and types
Jean-Yves Girard, Yves Lafont, Paul Taylo...
Bok Engelsk 1989 · Vis mer