Concepedia

A typed logic of partial functions reconstructed classically

Cliff B. Jones, C.A. Middelburg

Acta Informatica · 1994 · 12 citations · 1 references

DOIFull text

Open access

Concepts

References

1

A logic covering undefinedness in program proofs

Howard Barringer, Jinsong Cheng, Cliff B. Jones · Acta Informatica · 1984 · 172 citations

, , +8