Gaya APA

Initial semantics in logics with constructors. (2015). : .

Gaya MLA

Initial semantics in logics with constructors. . : , 2015. Text.