Search results

ContextualEquivalence

Status: Open.

#176 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024

Adequacy

Status: Open.

#175 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024

Soundness

Status: Open.

#174 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024

Compositional

Status: Open.

#173 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024

Denotational

Status: Open.

#172 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024

Confluence

Status: Open.

#171 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024

Bigstep

Status: Open.

#170 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024

Properties

Status: Open.

#169 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024

Lambda

Status: Open.

#168 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024

More

Status: Open.

#167 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024

DeBruijn

Status: Open.

#166 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024

Bisimulation

Status: Open.

#165 In Agda-zh/PLFA-zh;

· OlingCat opened on Mar 2, 2024