◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Hynek Mlnarik

1 paper hereh-index 561 citations9 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1

Across the 1 of 1 paper where every author was matched, so the position is known.

fields
  • quant-ph1

identity via Semantic Scholar / OpenAlex

most citedOperational Semantics and Type Soundness of Quantum Programming Language LanQ

10 citations · 10 across the 1 of their papers we have counts for

collaborators

1 paper

quant-ph2007★ 10 cited

Operational Semantics and Type Soundness of Quantum Programming Language LanQ

Hynek Mlnarik

We present an imperative quantum programming language LanQ which was designed to support combination of quantum and classical programming and basic process operations - process cre…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.