Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
gusl
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
site
light
Gustavo Lacerda
Recent Entries
Archive
Reading
Tags
Memories
Profile
proof nets formalize the notion of proof identity
Mar
.
16th
,
2005
05:21 pm
gusl
ah...
proof nets formalize the notion of proof identity
Flat
|
Top-Level Comments Only
Old Friends!
Date:
2005-03-17 03:25 am (UTC)
From:
(Anonymous)
Gustavo!!!
It's been too long...
let's catch-up!
www.canyouconnect.com
Can You Connect? Join now to find out how! :-P
Yoshi
p.s. this is kind of old,
but I think you might find it interesting.
(no subject)
Date:
2005-03-17 03:28 am (UTC)
From:
(Anonymous)
Here's the link :-P
http://arxiv.org/PS_cache/cmp-lg/pdf/9711/9711012.pdf
Yoshi
Previous Entry
Add Memory
Share This Entry
Next Entry
2 comments
Reply
Flat
|
Top-Level Comments Only
Profile
gusl
My Website
February
2020
S
M
T
W
T
F
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
Most Popular Tags
academic
-
6 uses
ai
-
25 uses
argumentation
-
7 uses
autism
-
5 uses
automatic_programming
-
7 uses
biology
-
4 uses
cartoon
-
5 uses
cogsci
-
24 uses
cs
-
3 uses
decision-making
-
3 uses
dutch
-
6 uses
econ
-
14 uses
education
-
7 uses
evolution
-
7 uses
formal_ed
-
41 uses
formal_math
-
12 uses
funny
-
5 uses
hci
-
4 uses
health
-
3 uses
human_quirkiness
-
5 uses
information_theory
-
7 uses
language
-
4 uses
linguistics
-
22 uses
linux
-
5 uses
lisp
-
9 uses
lj_meme
-
3 uses
logic
-
11 uses
machine_learning
-
16 uses
math
-
12 uses
mathematical_knowledge_management
-
4 uses
media
-
8 uses
music
-
24 uses
my_health
-
7 uses
my_health/back
-
3 uses
my_health/breathing
-
12 uses
neuroscience
-
5 uses
phil.comp
-
6 uses
phil.math
-
10 uses
phil.sci
-
20 uses
philosophy
-
11 uses
physics
-
8 uses
practical_epistemology
-
10 uses
programming
-
18 uses
project_ideas
-
5 uses
qualitative_reasoning
-
4 uses
social_dynamics
-
6 uses
stats
-
17 uses
troubleshooting
-
11 uses
unix
-
4 uses
wiki
-
4 uses
Page Summary
(Anonymous)
-
Old Friends!
(Anonymous)
-
(no subject)
Style Credit
Base style:
Transmogrified
by
Yvonne
Theme:
Shallowest Depths
by
krja
Expand Cut Tags
No cut tags
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
krja
Old Friends!
Date: 2005-03-17 03:25 am (UTC)Gustavo!!!
It's been too long...
let's catch-up!
www.canyouconnect.com
Can You Connect? Join now to find out how! :-P
Yoshi
p.s. this is kind of old,
but I think you might find it interesting.
(no subject)
Date: 2005-03-17 03:28 am (UTC)http://arxiv.org/PS_cache/cmp-lg/pdf/9711/9711012.pdf
Yoshi