Search for dissertations about: "Filip Widebäck"
Found 1 swedish dissertation containing the words Filip Widebäck.
-
1. Identity of proofs
Abstract : In the early seventies it was conjectured that a certain mathematically well-defined equivalence relation (bh-equivalence) on proofs in natural deduction captures the informal notion of identity of proofs. The conjecture can be divided into two parts, a soundness part and a completeness part. READ MORE
Result pages:
1