Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive normalization » interactive visualization, alternative normalization, integrating normalization
normalization programming » organization programming, organisation programming, communication programming
programming programme » programming programmed, programminng programmed, programming program
programme function » programming function, programme action, programs functional
function https » functions https, fiction https
interactive normalization » interactive visualization, alternative normalization, integrating normalization
normalization programming » organization programming, organisation programming, communication programming
programming programme » programming programmed, programminng programmed, programming program
programme function » programming function, programme action, programs functional
function https » functions https, fiction https
1
Published 2007
Table of Contents:
“... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”View full text
Electronic
eBook
2
Table of Contents:
“...Principles and Philosophy -- Advanced Basics -- Functions -- Classes -- Common Protocols -- Object...”
View full text
View full text
Electronic
eBook