Sciweavers

7681 search results - page 76 / 1537
» Typed Membrane Systems
Sort
View
CORR
2009
Springer
63views Education» more  CORR 2009»
15 years 3 months ago
A Type System for Required/Excluded Elements in CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, An...
CORR
2009
Springer
70views Education» more  CORR 2009»
15 years 3 months ago
A Type System for Tom
Claude Kirchner, Pierre-Etienne Moreau, Clá...
CORR
2010
Springer
63views Education» more  CORR 2010»
15 years 10 days ago
Subject reduction in a Curry-style polymorphic type system with a vectorial structure
Pablo Arrighi, Alejandro Díaz-Caro, Beno&ic...