Search results

Add comp (composition function) to alphabetic list of functions

discussion

draft

Status: Open.

#1472 In advancedresearch/path_semantics;

· bvssvni opened on Oct 1, 2025

Create an overview over notation

discussion

draft

Status: Open.

#1433 In advancedresearch/path_semantics;

· bvssvni opened on Mar 14, 2025

Open problem: Are operators in Homotopy Level Two Computing isomorphic to deterministic operators?

discussion

Status: Open.

#1334 In advancedresearch/path_semantics;

· bvssvni opened on Dec 7, 2023

Use "image" instead of "codomain"

discussion

draft

Status: Open.

#1301 In advancedresearch/path_semantics;

· bvssvni opened on May 4, 2023

Can aquality be used to reason about New Theory of Reference?

discussion

Status: Open.

#1237 In advancedresearch/path_semantics;

· bvssvni opened on Sep 17, 2022

Replace psq with qual

discussion

draft

Status: Open.

#1215 In advancedresearch/path_semantics;

· bvssvni opened on Jun 14, 2022

Define "dumber" versions in Naive Zen Logic

discussion

draft

Status: Open.

#1195 In advancedresearch/path_semantics;

· bvssvni opened on Mar 28, 2022

Clarify terminology of "higher order existential path"

discussion

draft

Status: Open.

#1106 In advancedresearch/path_semantics;

· bvssvni opened on Sep 11, 2021

Write paper about arbitrary weak orders

discussion

draft

Status: Open.

#1045 In advancedresearch/path_semantics;

· bvssvni opened on May 20, 2021

Write paper that visualizes and explains contraction

discussion

draft

Status: Open.

#850 In advancedresearch/path_semantics;

· bvssvni opened on Jul 10, 2020

Clarify paper "Destructing Path Function Products"

discussion

draft

Status: Open.

#849 In advancedresearch/path_semantics;

· bvssvni opened on Jul 7, 2020

Compile time evaluation of paths

discussion

draft

Status: Open.

#633 In advancedresearch/path_semantics;

· bvssvni opened on Sep 14, 2019