4 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Strategies as Concurrent ProcessesCastellan, Simon ; Hayman, Jonathan ; Lasson, Marc ; Winskel, GlynnElectronic notes in theoretical computer science, 2014-10, Vol.308, p.87-107Elsevier B.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Relational Graph Models, Taylor Expansion and ExtensionalityManzonetto, Giulio ; Ruoppolo, DomenicoElectronic notes in theoretical computer science, 2014-10, Vol.308, p.245-272Elsevier B.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Canonicity of Weak ω-groupoid Laws Using Parametricity TheoryLasson, MarcElectronic notes in theoretical computer science, 2014-10, Vol.308, p.229-244Elsevier B.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Living with ParadoxesKerber, ManfredElectronic notes in theoretical computer science, 2005-03, Vol.123, p.151-163Elsevier B.VTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Cognitive Science (2)
- Differential Nets (1)
- Identity Types (1)
- Lambda Calculus (1)
- Logic In Computer Science (1)
- Extensional Böhm Trees (1)
- Mathematics (1)
- Loop Spaces (1)
- Paradoxes (1)
- Event Structures (1)
- Groupoids (1)
- Concurrent Game (1)
- Linear Logic (1)
- Bicategory (1)
- Formal Languages And Automata Theory (1)
- Category Theory (1)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 