Sciweavers

1948 search results - page 4 / 390
» Formalizing Mirror Theory
Sort
View
TYPES
2007
Springer
15 years 3 months ago
Working with Mathematical Structures in Type Theory
Claudio Sacerdoti Coen, Enrico Tassi
SFM
2010
Springer
202views Formal Methods» more  SFM 2010»
15 years 1 months ago
Information Theory and Security: Quantitative Information Flow
Pasquale Malacaria, Jonathan Heusser