@BOOK{ Book!D - 91701976,
AUTHOR = "Curien, Pierre-Louis",
TITLE = "Categorical combinators, sequential algorithms, and functional programming",
LIBRARY= "کتابخانه مرکزی دانشگاه صنعتی امیرکبیر",
SUBJECT = " Formal languages  ",
URL = "/book/91701976/Categorical-combinators-sequential-algorithms-an/"}