Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Simply typed fixpoint calculus and collapsible pushdown automataSALVATI, SYLVAIN ; WALUKIEWICZ, IGORMathematical structures in computer science, 2016-10, Vol.26 (7), p.1304-1350 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
2 |
Material Type: Artigo
|
Probabilistic logic over equations and domain restrictionsMordido, Andreia ; Caleiro, CarlosMathematical structures in computer science, 2019-06, Vol.29 (6), p.872-895 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
3 |
Material Type: Artigo
|
Classical lambda calculus in modern dressHYLAND, J.M.E.Mathematical structures in computer science, 2017-06, Vol.27 (5), p.762-781 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
4 |
Material Type: Artigo
|
Characterizing co-NL by a group actionAUBERT, CLÉMENT ; SEILLER, THOMASMathematical structures in computer science, 2016-05, Vol.26 (4), p.606-638 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
5 |
Material Type: Artigo
|
Infinitary affine proofsMAZZA, DAMIANOMathematical structures in computer science, 2017-06, Vol.27 (5), p.581-602 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
6 |
Material Type: Artigo
|
Redexes are stable in the λ-calculusLevy, Jean-JacquesMathematical structures in computer science, 2017-06, Vol.27 (5), p.738-750 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
7 |
Material Type: Artigo
|
The infinitary lambda calculus of the infinite eta Böhm treesSEVERI, PAULA ; DE VRIES, FER-JANMathematical structures in computer science, 2017-06, Vol.27 (5), p.681-733 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
8 |
Material Type: Artigo
|
Theories of analytic monadsSZAWIEL, STANISŁAW ; ZAWADOWSKI, MAREKMathematical structures in computer science, 2014-12, Vol.24 (6), Article e240604 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
9 |
Material Type: Artigo
|
Compositional methods for information-hidingCHATZIKOKOLAKIS, KONSTANTINOS ; PALAMIDESSI, CATUSCIA ; BRAUN, CHRISTELLEMathematical structures in computer science, 2016-09, Vol.26 (6), p.908-932 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
10 |
Material Type: Artigo
|
On recursive operations over logic LTSZHANG, YAN ; ZHU, ZHAOHUI ; ZHANG, JINJINMathematical structures in computer science, 2015-09, Vol.25 (6), p.1382-1431 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |