2DTypes icon indicating copy to clipboard operation
2DTypes copied to clipboard

Published 20 hours ago • verified publisher icon vikraman
→

Metadata

Collaborative work on reversible computing

Results 23 2DTypes issues
Sort by recently updated
recently updated
newest added

Finalize the paper

- [x] Rewrite the *Reasoning* section - [x] Fix spacing, dangling words - [x] Fix typos - [x] Write a comment with the summary of changes for the review -...

inexxt avatar inexxt

Put the full syntax in the appendix

inexxt avatar inexxt

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

vikraman avatar vikraman

enhancement
text

Typography fixes

- [ ] Remove dangling words - [x] Use uniform style for \cref - [x] Use inline math style for sigma and pi - [ ] No breaks in type...

vikraman avatar vikraman

enhancement

Notation for successor and Sn are confusing

`Sn` and `S_n`

vikraman avatar vikraman

Prove !⟷₁⟷₂ in Syntax

1 comment

inexxt avatar inexxt

proof
Pi

Prove evalNorm₂

1 comment

inexxt avatar inexxt

proof
Pi

Prove eval^₂

1 comment

inexxt avatar inexxt

proof
Pi

Prove quote-eval^₁

1 comment

vikraman avatar vikraman

definition
proof
Pi

Prove quote^₂

inexxt avatar inexxt

proof
Pi

← Metadata

16
Stars
1
Forks
Watchers

Owner

verified publisher icon vikraman

Metadata

Collaborative work on reversible computing

Back