Questions tagged [curry-howard]

Hot Network Questions

• Mechanics of a town where magic doesn't work
• What notes comprise a (only) "sus" chord?
• What is this pipe that is going into my engine and where can I get the fitting that connects it to the engine
• What are the subjective and objective genitives?
• Call professor without using the name
• sed: Ignore leading whitespace when substituting globally
• Silver needs to make contact with the skin to be effective, but vampires are wearing armor. What now?
• What's up with my body?
• What is the best way to imagine the difference between vectors and one-forms
• Convert to and from Base 94
• Is Kilometer ever pronounced as 'kaa em' in German?
• Logspace algorithm for balanced parentheses problem
• What's the use of countable ordinals? (prompted by a remark of Tim Gowers)
• Efficient storage of large non-rectangular arrays
• What magic system do I need, for medieval crops to skip over a few hundred year’s worth of selective breeding within a few months?
• Why do we use capacitors in parallel with DC motors?
• Why does this sentence have an ablative subject for an indirect subordinate clause?
• Proper C diminished 7 chord note spelling?
• Why continuously compounding
• Maintain diagonal symmetry when placing N items on a square grid
• Can I safely use a 6 A, 600 V diode in place of a 6 A, 400 V diode?
• What is wrong with the rabbit living under my shed?
• How would you capture deer alive in a medieval setting?
• Journal requires permission to acknowledge people: person not replying