Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Category Theory and Computer SciencePitt P. T Johnstone; David H Pitt; David E RydeheardSpringer Berlin Heidelberg 1995Acesso online |
|
2 |
Material Type: Livro
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Science (1987 : Edinburgh, UK) David H Pitt; Axel Poigne; David E RydeheardBerlin Springer 1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.283 ex.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Science (6. : 1995 : Cambridge, UK) David H Pitt; David E Rydeheard; Peter T JohnstoneBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.953 e.1 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Programming (4. : 1991 : Paris, FR) David H Pitt; A. M Pitts (Andrew M.); David E Rydeheard; Axel Poigne; Samson Abramsky 1953-; Pierre -Louis CurienBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.530 e.1 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Category theory and computer science proceedingsWorkshop on Category Theory and Computer Science (3. : 1989 : Manchester, UK) David H Pitt; Peter Dybjer; A. M Pitts (Andrew M.); Axel Poigne; David E RydeheardBerlin Springer 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.389 ex.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Capítulo de Livro
|
Quantified Event Automata: Towards Expressive and Efficient Runtime MonitorsBarringer, Howard ; Falcone, Yliès ; Havelund, Klaus ; Reger, Giles ; Rydeheard, David Méry, Dominique ; Giannakopoulou, DimitraFM 2012: Formal Methods, 2012, Vol.7436, p.68-84 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Livro
|
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 ProceedingsPitt, David ; Rydeheard, David E ; Johnstone, Peter Rydeheard, David E. ; Johnstone, Peter ; Pitt, DavidBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
8 |
Material Type: Livro
|
Category Theory and Computer Science: Paris, France, September 3–6, 1991 ProceedingsPitt, David H ; Curien, Pierre-Louis ; Abramsky, Samson ; Pitts, Andrew M ; Poigné, Axel ; Rydeheard, David E Curien, Pierre-Louis ; Pitt, David H. ; Poigné, Axel ; Abramsky, Samson ; Pitts, Andrew M. ; Rydeheard, David E.Berlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
9 |
Material Type: Artigo
|
A bi-intuitionistic modal logic: Foundations and automationStell, John G. ; Schmidt, Renate A. ; Rydeheard, DavidJournal of logical and algebraic methods in programming, 2016-06, Vol.85 (4), p.500-519 [Periódico revisado por pares]Texto completo disponível |
|
10 |
Material Type: Livro
|
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 ProceedingsPitt, David H ; Poigné, Axel ; Rydeheard, David E Poigné, Axel ; Rydeheard, David E. ; Pitt, David H.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |