Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

MLA

Alwen Tiu, and Claudio Sacerdoti Coen. “Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice.” Electronic Proceedings in Theoretical Computer Science, vol. 332, Jan. 2021. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi...........34440c1d9fa0af14edfcb83cce210d6b&authtype=sso&custid=ns315887.

APA

Alwen Tiu, & Claudio Sacerdoti Coen. (2021). Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Electronic Proceedings in Theoretical Computer Science, 332.

Chicago

Alwen Tiu, and Claudio Sacerdoti Coen. 2021. “Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice.” Electronic Proceedings in Theoretical Computer Science 332 (January). http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi...........34440c1d9fa0af14edfcb83cce210d6b&authtype=sso&custid=ns315887.