User loginNavigation 
Proving compositionsIf, for example, I have three functions (X a), (Y b), (Z c); and suppose that each has been complied and proven correct somehow. Now if I compose the three functions (X (Y (Z c))) is the answer proven also given the types match. I remember a paper posted on the home page that seemed to prove this, but can't seem to find it. By Hank Thediek at 20080407 15:19  LtU Forum  previous forum topic  next forum topic  other blogs  4214 reads

Browse archivesActive forum topics 
Recent comments
16 hours 27 min ago
1 day 6 hours ago
2 weeks 5 days ago
2 weeks 5 days ago
2 weeks 5 days ago
2 weeks 5 days ago
2 weeks 6 days ago
2 weeks 6 days ago
3 weeks 1 day ago
3 weeks 2 days ago