×

Found 7,536 Documents (Results 1–100)

14th conference on the theory of quantum computation, communication and cryptography, TQC 2019, College Park, Maryland, USA, June 3–5, 2019. Proceedings. (English) Zbl 1414.68010

LIPIcs – Leibniz International Proceedings in Informatics 135. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-112-2). xiii, 10 articles, not consecutively paged, electronic only, open access (2019).
MSC:  68-06 81-06 68Q05 81P68 81P94 00B25

The involutions-as-principal types/application-as-unification analogy. (English) Zbl 1416.03009

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 254-270 (2018).
MSC:  03B40 68Q05
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software