학술논문 – 부산대학교 도서관

학술논문

replay검색결과 돌아가기

search검색화면

Equational reasoning about programs with general recursion and call-by-value semantics

Document Type

Article

Author

Kimmell, G.; Stump, A.; Eades, H.D.; Fu, P.; Weirich, S.; Casinghino, C.; Sjöberg, V.; Sheard, T.; Collins, N.; Ahn, K.Y.

Source

In: Progress in Informatics. (Progress in Informatics, March 2013, (10):19-46)

Subject

Language

English

ISSN

13498614
13498606

Online Access

Scopus Find it@PNU

이메일