학술논문 – 법학도서관

학술논문

replay검색결과 돌아가기

search검색화면

Graph easy sets of mute lambda terms

Document Type

Article

Author

Bucciarelli, A.; Carraro, A.; Favro, G.; Salibra, A.

Source

In Theoretical Computer Science 23 May 2016 629:51-63

Subject

Logic, semantics and theory of programming

Language

ISSN

0304-3975

Online Access

Full Text (ScienceDirect 종량제) Full Text (ScienceDirect O/A) Web of Science JCR 저널정보 Scopus Find it@PNU

이메일