Sciweavers

CIE
2007
Springer
15 years 9 months ago
K -Trivial Closed Sets and Continuous Functions
We investigate the notion of K-triviality for closed sets and continuous functions. Every K-trivial closed set contains a K-trivial real. There exists a K-trivial 0 1 class with no...
George Barmpalias, Douglas A. Cenzer, Jeffrey B. R...
153
Voted
MPC
2010
Springer
174views Mathematics» more  MPC 2010»
15 years 9 months ago
Matrices as Arrows!
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
Hugo Daniel Macedo, José Nuno Oliveira
125
Voted
MPC
2010
Springer
166views Mathematics» more  MPC 2010»
15 years 9 months ago
The Algorithmics of Solitaire-Like Games
Roland Carl Backhouse, Wei Chen, João F. Fe...
120
Voted
MPC
2010
Springer
156views Mathematics» more  MPC 2010»
15 years 9 months ago
Compositionality of Secure Information Flow
Catuscia Palamidessi
112
Voted
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 9 months ago
Generic Point-free Lenses
Hugo Pacheco, Alcino Cunha