Is Lambda-Sigma-Calculus same as Sigma-Calculus?
From: Tian (wangtianthu_at_gmail.com)
Date: 01/31/05
- Next message: Alan Gauld: "Re: Is Lambda-Sigma-Calculus same as Sigma-Calculus?"
- Previous message: H. S. Lahman: "Re: new here, my lang project... PT2"
- Next in thread: Alan Gauld: "Re: Is Lambda-Sigma-Calculus same as Sigma-Calculus?"
- Reply: Alan Gauld: "Re: Is Lambda-Sigma-Calculus same as Sigma-Calculus?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 31 Jan 2005 14:27:12 -0800
I heard these two phrase recently but I don't know if there is
anything different between them. I just started doing some research on
the object theory and only got basic training in formal methods. Who
can recommend something to read about Sigma-Calculus?
- Next message: Alan Gauld: "Re: Is Lambda-Sigma-Calculus same as Sigma-Calculus?"
- Previous message: H. S. Lahman: "Re: new here, my lang project... PT2"
- Next in thread: Alan Gauld: "Re: Is Lambda-Sigma-Calculus same as Sigma-Calculus?"
- Reply: Alan Gauld: "Re: Is Lambda-Sigma-Calculus same as Sigma-Calculus?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|