other persons with the same name:
| 1990 | ||
|---|---|---|
| 1 | J. Roger Hindley, David Meredith: Principal Type-Schemes and Condensed Detachment. J. Symb. Log. 55(1): 90-105 (1990) | |
| 1 | J. Roger Hindley | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page