skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices

Types for proofs and programs international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

TYPES '99 (1999 Benediktinerabtei Irsee, Germany) Thorsten Altenkirch 1962-; Wolfgang Naraschewski 1970-; Bernhard Reus 1965-

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1657 e.1 ) e outros locais(Acessar)

  • Título:
    Types for proofs and programs international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
  • Autor: TYPES '99 (1999 Benediktinerabtei Irsee, Germany)
  • Thorsten Altenkirch 1962-; Wolfgang Naraschewski 1970-; Bernhard Reus 1965-
  • Assuntos: Automatic theorem proving -- Congresses; Computer programming -- Congresses; Type theory -- Congresses; LÓGICA MATEMÁTICA
  • Notas: Includes bibliographical references
  • Descrição: On relating type theories and set theories / Peter Aczel -- Communication modelling and context-dependent interpretation : an integrated approach / René Ahn, Tijn Borghuis -- Gröbner bases in type theory / Thierry Coquand, Henr ik Persson -- Amodal lambda calculus with iteration and case constructs / Joëlle Despeyroux, Pierre Leleu -- Proof normalization modulo / Gilles Dowek, Benjamin Werner -- Proof of imperative programs in type theory / Jean-Chris tophe Filliâtre -- Aninterpretation of the fan theorem in type theory / Daniel Fridlender -- Conjunctive types and SKInT / Jean Goubault-Larrecq -- Modular structures as dependent types in Isabelle / Florian Kammüller -- Metath eory of verification calculi in LEGO /Thomas Kleymann -- Bounded polymorphism for extensible objects / Luigi Liquori -- About effective quotients in constructive type theory / Maria Emilia Maietti -- Algorithms for equality and unification in the presence of notational definitions /Frank Pfenning, Carsten Schürmann -- A preview of the basic picture : a new perspective on formal topology / Giovanni Sambin, Silvia Gebellato
  • Títulos relacionados: Série:Lecture notes in computer science 1657
  • Editor: Berlin Springer New York
  • Data de criação/publicação: c1999
  • Formato: viii, 207 p. ill. 24 cm.
  • Idioma: Inglês
Links
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.