`Travelled to:`

1 × United Kingdom

3 × USA

`Collaborated with:`

A.Scedrov G.Rosolini ∅ E.P.Robinson P.Mulry D.S.Scott J.Girard P.J.Scott

`Talks about:`

polymorph (2) parametr (2) calculus (2) semant (2) type (2) extension (1) functori (1) recurs (1) induct (1) aspect (1)

## Person: Peter J. Freyd

### DBLP: Freyd:Peter_J=

### Contributed to:

### Wrote 5 papers:

- LICS-1992-FreydRR #parametricity
- Functorial Parametricity (PJF, EPR, GR), pp. 444–452.
- LICS-1990-Freyd #induction #recursion
- Recursive Types Reduced to Inductive Types (PJF), pp. 498–507.
- LICS-1990-FreydMRS
- Extensional PERs (PJF, PM, GR, DSS), pp. 346–354.
- LICS-1988-FreydGSS #parametricity #polymorphism #semantics #λ-calculus
- Semantic Parametricity in Polymorphic λ Calculus (PJF, JYG, AS, PJS), pp. 274–279.
- LICS-1987-FreydS #aspect-oriented #polymorphism #semantics #λ-calculus
- Some Semantic Aspects of Polymorphic λ Calculus (PJF, AS), pp. 315–319.