The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

TTM General discussion

TopicsLast post
Meaning of a relationBy tobega · 79 RepliesLast post: 2 hours ago · Erwin
Where to start for a beginner?By Efrit · 21 RepliesLast post: 1 month ago · Erwin
Correlated subqueriesBy Jake Wheat · 73 RepliesLast post: 3 months ago · dandl
Does RM Pro 4 really preclude NULLs?By dandl · 28 RepliesLast post: 4 months ago · dandl
Heading inference, not type inferenceBy dandl · 40 RepliesLast post: 4 months ago · dandl
An alternative to open expressionsBy dandl · 13 RepliesLast post: 6 months ago · dandl
Another better sample of 'C# as D'By dandl2 RepliesLast post: 7 months ago · Erwin
Relcons and relfuns are both FOPLBy dandl9 RepliesLast post: 8 months ago · AntC
Formalisation of Transitive ClosureBy dandl8 RepliesLast post: 8 months ago · dandl
Formalisation of Appendix A 'relcons'By dandl0 RepliesLast post: 8 months ago · dandl
A better sample of 'C# as D' Mark IIBy dandl0 RepliesLast post: 8 months ago · dandl
Defining a function relation by means of a headingBy dandl · 13 RepliesLast post: 8 months ago · AntC
Update on "C# is a D" projectBy dandl · 36 RepliesLast post: 8 months ago · Dave Voorhis
8 months ago
Dave Voorhis