BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × USA
Collaborated with:
Talks about:
coinduct (1) axiomat (1) semant (1) induct (1) point (1) type (1) oper (1) pcf (1)

Person: Brian T. Howard

DBLP DBLP: Howard:Brian_T=

Contributed to:

ICFP 19961996
LFP 19901990

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.