Idioma:

1 para null

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Ata de Congresso		Relating models of impredicative type theories Jacobs, Bart ; Moggi, Eugenio ; Streicher, Thomas Category Theory and Computer Science, 2005, p.197-218 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Refine Search Results

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento