Travelled to:1 × France
1 × USA
Collaborated with:∅ J.C.Mitchell
Talks about:coinduct (1) axiomat (1) semant (1) induct (1) point (1) type (1) oper (1) pcf (1)
Person: Brian T. Howard
DBLP: Howard:Brian_T=
Contributed to:
1996
1990Wrote 2 papers:
- ICFP-1996-Howard #induction
- Inductive, Coinductive, and Pointed Types (BTH), pp. 102–109.
- LFP-1990-HowardM #axiom #semantics
- Operational and Axiomatic Semantics of PCF (BTH, JCM), pp. 298–306.