13383 search results - page 67 / 2677 » Abstractions from proofs |
COGSCI
2011
14 years 4 months ago
2011
50
Voted
CORR
2010
Springer
14 years 4 months ago
2010
Springer
ICFP
2002
ACM
15 years 9 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
CRYPTO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public stri...