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