skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Semantics and Logics of Computation
Semantics and Logics of Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Semantics and Logics of Computation

Andrew M. Dybjer, P. Pitts P Dybjer; Peter Dybjer; Andrew M Pitts

Cambridge Cambridge University Press 1997

Acesso online

2
Types for Proofs and Programs
Types for Proofs and Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs

TYPES '99 Thierry Coquand; Peter Dybjer; Bengt Nordström; Jan Smith

Springer Berlin / Heidelberg 2000

Acesso online

3
Applied Semantics
Applied Semantics
Material Type:
Livro 		Adicionar ao Meu Espaço

Applied Semantics

Gilles Barthe Gilles Barthe; Peter Dybjer; Luis Pinto; João Saraiva

Springer Berlin Heidelberg 2002

Acesso online

4
Types for Proofs and Programs
Types for Proofs and Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for Proofs and Programs

International Workshop TYPES '94 Peter Dybjer; Bengt Nordström; Jan M Smith

Springer Berlin Heidelberg 1995

Acesso online

5
Types for proofs and programs selected papers of the international workshop on types for proofs and programs, types'94, held in bastad, sweden, june 6-10, 1994
Types for proofs and programs selected papers of the international workshop on types for proofs and programs, types'94, held in bastad, sweden, june 6-10, 1994
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for proofs and programs selected papers of the international workshop on types for proofs and programs, types'94, held in bastad, sweden, june 6-10, 1994

Workshop on Types for Proofs and Programs (2. 1994 Bastad) Peter Dybjer; Bengt Nodstrom

Berlin Springer 1995

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.996 ) e outros locais(Acessar)

6
Category theory and computer science proceedings
Category theory and computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop on Category Theory and Computer Science (3. : 1989 : Manchester, UK) David H Pitt; Peter Dybjer; A. M Pitts (Andrew M.); Axel Poigne; David E Rydeheard

Berlin Springer 1989

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

7
Combining Testing and Proving in Dependent Type Theory
Combining Testing and Proving in Dependent Type Theory
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Combining Testing and Proving in Dependent Type Theory

Dybjer, Peter ; Haiyan, Qiao ; Takeyama, Makoto

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, Vol.2758, p.188-203 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
On generalized algebraic theories and categories with families
On generalized algebraic theories and categories with families
Material Type:
Artigo 		Adicionar ao Meu Espaço

On generalized algebraic theories and categories with families

Bezem, Marc ; Coquand, Thierry ; Dybjer, Peter ; Escardó, Martín

Mathematical structures in computer science, 2021-10, Vol.31 (9), p.1006-1023 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
9
Normalization by evaluation for typed lambda calculus with coproducts
Normalization by evaluation for typed lambda calculus with coproducts
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Normalization by evaluation for typed lambda calculus with coproducts

Altenkirch, T. ; Dybjer, P. ; Hofmann, M. ; Scott, P.

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 2001, p.303-310

IEEE

Texto completo disponível

Citações Citado por
10
A general formulation of simultaneous inductive-recursive definitions in type theory
A general formulation of simultaneous inductive-recursive definitions in type theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

A general formulation of simultaneous inductive-recursive definitions in type theory

Dybjer, Peter

The Journal of symbolic logic, 2000-06, Vol.65 (2), p.525-549 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (18)
  2. Anais de Congresso  (10)
  3. Book Chapters  (10)
  4. Livros  (6)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (7)
  2. 1990Até1995  (5)
  3. 1996Até2000  (7)
  4. 2001Até2006  (17)
  5. Após 2006  (9)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Dybjer, P
  2. Smith, J
  3. Pitts, A
  4. Nordström, B
  5. TYPES '99

Neste Assunto:

  1. Science & Technology
  2. Computer Science
  3. Technology
  4. Computer Science, Theory & Methods
  5. Applied Sciences

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

Buscando em bases de dados remotas. Favor aguardar.