Yazar
Burn, Geoffrey, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234
Format:
Electronic Resources
Alıntı:
Denotational Semantics of the Typed Lambda Calculus. A Framework for the Abstract Interpretation of Functional
Yazar
Stump, Aaron., author.
Abstract with links to full text http://dl.acm.org/citation.cfm?id=2841316
Format:
Electronic Resources
Alıntı:
(PPIL) -- 10.2 Kripke structures -- 10.3 Kripke semantics for PPIL -- 10.4 Soundness of PPIL -- 10.5
View Other Search Results
Yazar
Stump, Aaron., author.
Abstract with links to full text http://dl.acm.org/citation.cfm?id=2841316
Format:
Electronic Resources
Alıntı:
(PPIL) -- 10.2 Kripke structures -- 10.3 Kripke semantics for PPIL -- 10.4 Soundness of PPIL -- 10.5
Arama Sonuçlarını Sınırlandır
Daraltılmış: