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:
1992199019881987Wrote 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.