Disambiguation evidence for Proofs and Types via surface form

"Proofs and Types"

Triples (1)

Triples where some other subject referred to this entity as "Proofs and Types".

Jean-Yves Girard → notableWork →
"Proofs and Types"
↳ resolves to Proofs and Types
ⓘ