Search results

Put the full syntax in the appendix

Status: Open.

#157 In vikraman/2DTypes;

· inexxt opened on Oct 30, 2021

Finalize the paper

Status: Open.

#156 In vikraman/2DTypes;

· inexxt opened on Oct 30, 2021

Mention previous work with BAut(2) and how this extends it

enhancement

text

Status: Open.

#153 In vikraman/2DTypes;

· vikraman opened on Oct 28, 2021

·  

Revised paper

Typography fixes

enhancement

Status: Open.

#150 In vikraman/2DTypes;

· vikraman opened on Oct 27, 2021

·  

Revised paper

Notation for successor and Sn are confusing

Status: Open.

#139 In vikraman/2DTypes;

· vikraman opened on Sep 8, 2021

·  

Revised paper

Prove !⟷₁⟷₂ in Syntax

Pi

proof

Status: Open.

#88 In vikraman/2DTypes;

· inexxt opened on Feb 27, 2021

Prove quote^₂

Pi

proof

Status: Open.

#86 In vikraman/2DTypes;

· inexxt opened on Feb 27, 2021

Prove quote-eval²₀

Pi

proof

Status: Open.

#85 In vikraman/2DTypes;

· inexxt opened on Feb 27, 2021

Prove eval^₂

Pi

proof

Status: Open.

#80 In vikraman/2DTypes;

· inexxt opened on Feb 26, 2021

Prove evalNorm₂

Pi

proof

Status: Open.

#79 In vikraman/2DTypes;

· inexxt opened on Feb 26, 2021

Prove quote-eval^₁

definition

Pi

proof

Status: Open.

#77 In vikraman/2DTypes;

· vikraman opened on Feb 21, 2021

Add text in section 2

text

Status: Open.

#74 In vikraman/2DTypes;

· vikraman opened on Feb 20, 2021