C

Chris Hankin

9 books found

Books by Chris Hankin
Lambda CalculiChris Hankin
⏱ 2h 56m

Lambda Calculi

Chris Hankin

1994176 pp.
Principles of program analysisFlemming Nielson
⏱ 7h 42m

Principles of program analysis

Flemming Nielson

1999462 pp.
Coordination programmingChris Hankin
⏱ 6h 27m

Coordination programming

Chris Hankin

1996387 pp.
Static analysisChris Hankin
⏱ 6h 9m

Static analysis

Chris Hankin

2005369 pp.
Programming Languages and SystemsChris Hankin
⏱ 4h 52m

Programming Languages and Systems

Chris Hankin

1998292 pp.
Abstract interpretation of declarative languagesSamson Abramsky
⏱ 4h 44m

Abstract interpretation of declarative languages

Samson Abramsky

1987284 pp.
Introducao ao calculo lambdaChris Hankin
⏱ 3h 6m

Introducao ao calculo lambda

Chris Hankin

2012186 pp.
Semantics, Logics, and CalculiChristian W. Probst
⏱ 5h 55m

Semantics, Logics, and Calculi

Christian W. Probst

2015355 pp.
Coordination: Languages and Models : 1st International Conference Coordination '96, Cesena, Italy, April 1996 Italy) International Conference Coordination '9 1996 Cesena

Coordination: Languages and Models : 1st International Conference Coordination '96, Cesena, Italy, April 1996

Italy) International Conference Coordination '9 1996 Cesena

1996No page data