Posts By: vc
| Date | Post | Topic |
| 02/29/2008 | Structural recursion on sets | Structural recursion on sets |
| 03/01/2008 | No, no AC ;) | Structural recursion on sets |
| 03/01/2008 | Ordering and implementation | Structural recursion on sets |
| 06/14/2006 | Consistency | Church-Turning is False? |
| 06/14/2006 | GT_2 | Church-Turning is False? |
| 06/14/2006 | GT | Church-Turning is False? |
| 06/14/2006 | Podnieks | Church-Turning is False? |
| 06/04/2006 | BHK interpretation | Relevance of Curry-Howard |
| 06/04/2006 | BHK | Relevance of Curry-Howard |
| 06/04/2006 | Type theory | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | Axiom of Foundation | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | Russell's paradox | Buried Treasure - No Fluff Just Stuff |
| 06/04/2006 | What specific type system | Buried Treasure - No Fluff Just Stuff |
| 05/02/2006 | Subtraction | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 04/03/2006 | fold | foldl and foldr |
| 04/03/2006 | Perfect sense | foldl and foldr |
| 04/04/2006 | Haskel N | foldl and foldr |
| 04/03/2006 | Algebra | foldl and foldr |
| 04/03/2006 | ∞ algebra | foldl and foldr |
| 04/03/2006 | What's the difference | foldl and foldr |
| 04/03/2006 | ∞ | foldl and foldr |
| 04/03/2006 | canto | foldl and foldr |
| 04/05/2006 | Indices | The Reasoned Schemer with Oz |
| 03/30/2006 | Ontology | Class hierarchies and Ontologies |
| 03/30/2006 | Ontology | Class hierarchies and Ontologies |
| 03/30/2006 | Definition | Class hierarchies and Ontologies |
| 03/30/2006 | Confused | Class hierarchies and Ontologies |
| 03/31/2006 | Definition | Class hierarchies and Ontologies |
| 03/31/2006 | database modeller | Class hierarchies and Ontologies |
| 03/31/2006 | Terminology | Class hierarchies and Ontologies |
| 04/01/2006 | Ontology Theory | Class hierarchies and Ontologies |
| 04/01/2006 | Understanding | Class hierarchies and Ontologies |
| 04/02/2006 | Machine semantics | Class hierarchies and Ontologies |
| 04/02/2006 | Machine interpretation | Class hierarchies and Ontologies |
| 04/03/2006 | Interpreters | Class hierarchies and Ontologies |
| 04/03/2006 | Projection | Class hierarchies and Ontologies |
| 03/30/2006 | Thanks | Class hierarchies and Ontologies |
| 03/31/2006 | Pardon | Class hierarchies and Ontologies |
| 03/30/2006 | Still unclear | Class hierarchies and Ontologies |
| 03/30/2006 | Deinitions | Class hierarchies and Ontologies |
| 03/05/2006 | Fatal flaws | When is one thing equal to some other thing? |
| 03/09/2006 | Set and class | When is one thing equal to some other thing? |
| 03/10/2006 | Assumptions | When is one thing equal to some other thing? |
| 03/09/2006 | Dark hints | When is one thing equal to some other thing? |
| 03/10/2006 | Shocking | When is one thing equal to some other thing? |
| 03/10/2006 | The (P3) definition you | When is one thing equal to some other thing? |
| 03/13/2006 | P3 | When is one thing equal to some other thing? |
| 03/13/2006 | Classes | When is one thing equal to some other thing? |
| 03/15/2006 | Library | When is one thing equal to some other thing? |
| 03/15/2006 | Dynamic system | When is one thing equal to some other thing? |
| 03/16/2006 | DS | When is one thing equal to some other thing? |
| 03/15/2006 | choice of set theory | When is one thing equal to some other thing? |
| 03/15/2006 | Paraphrase | When is one thing equal to some other thing? |
| 03/15/2006 | Comments | When is one thing equal to some other thing? |
| 03/15/2006 | Separation | When is one thing equal to some other thing? |
| 03/15/2006 | Class/set | When is one thing equal to some other thing? |
| 03/15/2006 | Paradox | When is one thing equal to some other thing? |
| 02/16/2006 | Types | Type theory question... |
| 02/22/2006 | Confusing | Type theory question... |
| 02/22/2006 | Terminology | Type theory question... |
| 02/23/2006 | Reference | Type theory question... |
| 02/15/2006 | sums and products | Type theory question... |
| 02/02/2006 | ML union | What is a monad, why should I use it, and when is it appropriate? |
| 01/29/2006 | Predicates | Lambda the Ultimate Set Comprehension |
| 01/30/2006 | Please elaborate | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Interpretation | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Special operator | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | sets and predicates | Lambda the Ultimate Set Comprehension |
| 02/02/2006 | Predicates and sets | Lambda the Ultimate Set Comprehension |
| 02/03/2006 | Urelements | Lambda the Ultimate Set Comprehension |
| 01/30/2006 | Church Numerals | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Set of integers | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Characteristic function | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Intuitiveness | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Simple | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | Intuitive | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Category theory | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | CT | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | Lambda the Ultimate Set Comprehension | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | Arrows | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | Natural numbers | Lambda the Ultimate Set Comprehension |
| 01/31/2006 | Given the indicator | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | Functions and such | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | What exposition would that be? | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | Collections | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | 'function' theory | Lambda the Ultimate Set Comprehension |
| 02/07/2006 | NBG | Lambda the Ultimate Set Comprehension |
| 02/07/2006 | About NBG | Lambda the Ultimate Set Comprehension |
| 02/01/2006 | Natural numbers | Lambda the Ultimate Set Comprehension |
| 02/03/2006 | It's not so simple | Lambda the Ultimate Set Comprehension |
| 02/03/2006 | Still not very attractive in comparison to Peano's | Lambda the Ultimate Set Comprehension |
| 02/05/2006 | Cat(SET) | Lambda the Ultimate Set Comprehension |
| 02/04/2006 | Functions/mappings | Lambda the Ultimate Set Comprehension |
| 02/04/2006 | Intuitions | Lambda the Ultimate Set Comprehension |
| 02/05/2006 | Peano in ZF | Lambda the Ultimate Set Comprehension |
| 02/05/2006 | Peano isomorphism | Lambda the Ultimate Set Comprehension |
| 02/05/2006 | Math induction | Lambda the Ultimate Set Comprehension |
| 02/06/2006 | well-ordering | Lambda the Ultimate Set Comprehension |
| 02/03/2006 | Arrow equality | Lambda the Ultimate Set Comprehension |
| 02/07/2006 | Functions as applications | Lambda the Ultimate Set Comprehension |
| 01/26/2006 | "The theorem demonstrates | What is a Proposition? |
| 01/26/2006 | "As for unprovable | What is a Proposition? |
| 01/26/2006 | Actually, Godel showed that | What is a Proposition? |
| 01/27/2006 | propositions and sentences | What is a Proposition? |
| 10/15/2005 | What problem do you have in m | Formal methods for O/R mapping |
| 10/15/2005 | Database view | Formal methods for O/R mapping |
| 10/18/2005 | TC | Formal methods for O/R mapping |
| 10/15/2005 | Formal methods for O/R mapping | Formal methods for O/R mapping |
| 10/15/2005 | object data model | Formal methods for O/R mapping |
| 10/15/2005 | Proper mapping | Formal methods for O/R mapping |
| 10/16/2005 | Proper mapping | Formal methods for O/R mapping |
| 10/16/2005 | Formal methods for O/R mapping | Formal methods for O/R mapping |
| 10/16/2005 | Domain model | Formal methods for O/R mapping |
| 10/16/2005 | "Do you know what a "domain" | Formal methods for O/R mapping |
| 10/16/2005 | Domains and such | Formal methods for O/R mapping |
| 10/16/2005 | 1. What I've been hoping to f | Formal methods for O/R mapping |
| 10/16/2005 | I apologize if my way of putt | Formal methods for O/R mapping |
| 10/16/2005 | Formal methods for O/R mapping | Formal methods for O/R mapping |
| 10/16/2005 | The well know network data mo | Formal methods for O/R mapping |
| 10/16/2005 | Joins | Formal methods for O/R mapping |
| 10/16/2005 | Behaviour | Formal methods for O/R mapping |
| 10/16/2005 | Persisting | Formal methods for O/R mapping |
| 10/17/2005 | HQL | Formal methods for O/R mapping |
| 10/17/2005 | RM raison d'etre | Formal methods for O/R mapping |
| 10/17/2005 | Mapping | Formal methods for O/R mapping |
| 10/15/2005 | The Church-Turing Thesis: Breaking the Myth | The Church-Turing Thesis: Breaking the Myth |
| 04/23/2006 | Boolean | Persistent functional databases |
| 04/24/2006 | Tuple | Persistent functional databases |
| 04/24/2006 | CWA | Persistent functional databases |
| 04/24/2006 | Boolean | Persistent functional databases |
| 04/23/2006 | Versioning | Persistent functional databases |
| 04/25/2006 | Versioning, indices | Persistent functional databases |
| 04/26/2006 | Unique constraints/indices | Persistent functional databases |
| 04/26/2006 | Unique constraint/index | Persistent functional databases |
| 08/05/2005 | TC is inexpressible in RA | An interview with Chris Date |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |