Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types

1971/01/01 by Jean-Yves Girard · 5 citations
Computer Science · #Advanced Steganography and Watermarking Techniques #Algorithm #Chaos-based Image/Signal Encryption #Cloud computing #Computer engineering #Computer science #Computer security #Cryptography and Data Security #Distributed computing #Encryption #Operating system #Shuffling #Theoretical computer science

paper · doi:10.1016/s0049-237x(08)70843-7

crossref issued 1971/01/01 · crossref published 1971/01/01 · crossref published-print 1971/01/01 · openalex publication_date 1971/01/01 · crossref created 2009/01/02 · crossref deposited 2025/09/24 · openalex created_date 2025/10/10 · crossref indexed 2026/06/11 · openalex updated_date 2026/07/29

Citations

• On a generalized logic calculus
• Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes

Cited by

• A journey through resource control lambda calculi and explicit substitution using intersection types (an account)
• Higher-order Context-free Session Types in System F
• Normalisation of a Non-deterministic Type Isomorphic λ-calculus
• System FR: formalized foundations for the stainless verifier
• Parametric polymorphism [wikipedia]