Categorical semantics for programming languages

He Jifeng; C. A.R. Hoare

doi:10.1007/BFb0040271

Categorical semantics for programming languages

He Jifeng, C. A.R. Hoare

University of Oxford

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

Original language	English
Title of host publication	Mathematical Foundations of Programming Semantics - 5th International Conference, Proceedings
Editors	Michael G. Main, Michael W. Mislove, Austin C. Melton, David A. Schmidt
Publisher	Springer Verlag
Pages	402-417
Number of pages	16
ISBN (Print)	9780387973753
DOIs	https://doi.org/10.1007/BFb0040271
State	Published - 1990
Externally published	Yes
Event	5th International Conference on the Mathematical Foundations of Programming Semantics, 1989 - New Orleans, United States Duration: 29 Mar 1989 → 1 Apr 1989

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	442 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Conference on the Mathematical Foundations of Programming Semantics, 1989
Country/Territory	United States
City	New Orleans
Period	29/03/89 → 1/04/89

Access to Document

10.1007/BFb0040271

Cite this

Jifeng, H., & Hoare, C. A. R. (1990). Categorical semantics for programming languages. In M. G. Main, M. W. Mislove, A. C. Melton, & D. A. Schmidt (Eds.), Mathematical Foundations of Programming Semantics - 5th International Conference, Proceedings (pp. 402-417). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 442 LNCS). Springer Verlag. https://doi.org/10.1007/BFb0040271

Jifeng, He ; Hoare, C. A.R. / Categorical semantics for programming languages. Mathematical Foundations of Programming Semantics - 5th International Conference, Proceedings. editor / Michael G. Main ; Michael W. Mislove ; Austin C. Melton ; David A. Schmidt. Springer Verlag, 1990. pp. 402-417 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b9c0cf155fa84ed3a28a44a121b09720,

title = "Categorical semantics for programming languages",

author = "He Jifeng and Hoare, \{C. A.R.\}",

year = "1990",

doi = "10.1007/BFb0040271",

language = "英语",

isbn = "9780387973753",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "402--417",

editor = "Main, \{Michael G.\} and Mislove, \{Michael W.\} and Melton, \{Austin C.\} and Schmidt, \{David A.\}",

booktitle = "Mathematical Foundations of Programming Semantics - 5th International Conference, Proceedings",

address = "德国",

note = "5th International Conference on the Mathematical Foundations of Programming Semantics, 1989 ; Conference date: 29-03-1989 Through 01-04-1989",

}

Jifeng, H & Hoare, CAR 1990, Categorical semantics for programming languages. in MG Main, MW Mislove, AC Melton & DA Schmidt (eds), Mathematical Foundations of Programming Semantics - 5th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 442 LNCS, Springer Verlag, pp. 402-417, 5th International Conference on the Mathematical Foundations of Programming Semantics, 1989, New Orleans, United States, 29/03/89. https://doi.org/10.1007/BFb0040271

Categorical semantics for programming languages. / Jifeng, He; Hoare, C. A.R.
Mathematical Foundations of Programming Semantics - 5th International Conference, Proceedings. ed. / Michael G. Main; Michael W. Mislove; Austin C. Melton; David A. Schmidt. Springer Verlag, 1990. p. 402-417 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 442 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Categorical semantics for programming languages

AU - Jifeng, He

AU - Hoare, C. A.R.

PY - 1990

Y1 - 1990

UR - https://www.scopus.com/pages/publications/84976627201

U2 - 10.1007/BFb0040271

DO - 10.1007/BFb0040271

M3 - 会议稿件

AN - SCOPUS:84976627201

SN - 9780387973753

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 402

EP - 417

BT - Mathematical Foundations of Programming Semantics - 5th International Conference, Proceedings

A2 - Main, Michael G.

A2 - Mislove, Michael W.

A2 - Melton, Austin C.

A2 - Schmidt, David A.

PB - Springer Verlag

T2 - 5th International Conference on the Mathematical Foundations of Programming Semantics, 1989

Y2 - 29 March 1989 through 1 April 1989

ER -

Jifeng H, Hoare CAR. Categorical semantics for programming languages. In Main MG, Mislove MW, Melton AC, Schmidt DA, editors, Mathematical Foundations of Programming Semantics - 5th International Conference, Proceedings. Springer Verlag. 1990. p. 402-417. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0040271

Categorical semantics for programming languages

Publication series

Conference

Access to Document

Other files and links

Cite this