Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus
Συγγραφείς:	Schaefer, Steven, Varner, Nathan, Azevedo de Amorim, Pedro Henrique, New, Max S.
Πηγή:	Proceedings of the ACM on Programming Languages. 9(PLDI):773-796
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3729281
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
ISSN:	24751421
DOI:	10.1145/3729281