When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Logic, Language, Information, and Computation. Logic and Agent Programming Languages. - Natural Models of Homotopy Type Theory (Abstract). - Counting in SPARQL Property Paths: Perspectives from Theory and Practice.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.