Квантове числення лямбда

Класично, існує 3 популярних способу думати про обчислення: машина Тьюрінга, схеми та лямбда-числення (я використовую це як улов для більшості функціональних поглядів). Усі 3 були успішними способами роздумувати про різні типи проблем, і різні галузі використовують різну формулювання з цієї причини.

Однак, працюючи з квантовими обчисленнями, я тільки коли-небудь замислююся про схему схем. Спочатку КК визначався з точки зору квантових машин Тьюрінга, але, наскільки я розумію, це визначення (хоча еквівалентне квантовим схемам, якщо обидва сформульовані ретельно), не було майже таким результативним. Третя формулювання (з точки зору лямбда-числення чи подібних функціональних параметрів) мені абсолютно незнайома. Звідси мої запитання:

• Які корисні визначення квантової лямбда-числення (або інших функціональних парадигм)?

• Які підполі QIP отримують більш глибоке розуміння від використання цієї рецептури замість схеми?

Примітки

Я усвідомлюю, що я ігнорую багато інших популярних формалізмів, таких як стільникові автомати, RAM-моделі тощо. Я виключаю це здебільшого, тому що не маю досвіду з мисленням щодо цих моделей класично, не кажучи вже про квантові .

Мені також відомо, що в квантовій обстановці існують популярні альтернативи, такі як вимірювання, топологічні та адіабатичні. Я не обговорюю їх, тому що я не знайомий із класичними колегами.

ось напівспечена відповідь: Я знаю, що Уго Даль Лаго в Болоньському університеті вивчав квантове обчислення лямбда. Ви можете перевірити його публікації, а можливо, і цю:

Квантова неявна обчислювальна складність У. Дал Лаго, А. Масіні, М. Зорзі.

Я кажу, що це напівспечена відповідь, тому що я не мав шансів прочитати жодного з його творів.

Заздалегідь вибачте за безсоромний штекер, але на квантовому обчисленні лямбда є документ, який вам може бути цікавим. Він називається вичисленням лямбда-кинджала і забезпечує подання вищого порядку для діаграмних схем, які запровадила категорична школа квантових обчислень:

http://arxiv.org/abs/1406.1633

Ви також можете перевірити мою розмову на YouTube для отримання додаткової інформації:

https://www.youtube.com/watch?v=2pDPVd1BukI

Інші роботи в цьому районі включають квантові лямбда-розрахунки Селінгера-Валірона та обчислення лямбда Андре ван Тондер: [ Sel04a ], [ Sel04b ], [ vTD03 ], [ vT04 ], [ SV04 ], [ SV08 ], [ SV10 ] .