Switch to: References

Add citations

You must login to add citations.
  1. Sound, totally sound, and unsound recursive equivalence types.R. G. Downey - 1986 - Annals of Pure and Applied Logic 31:1-20.