Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (2/2)
By Gérard Berry
Gérard Berry Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification
By Gérard Berry
Gérard Berry Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification
By Georges Gonthier
By Vladimir Voevodsky
By Gérard Berry
By Gérard Berry
By Jean Louis Krivine
By Jean Louis Krivine