[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Tagged formulas

If you can precisely specify the meaning of Capture, we might consider it.  That is, for any _expression_ e, define the meaning of Capture(e) in terms of the meaning of e.  The meaning of an action-level _expression_ e is a mapping from pairs of states to values.  I have no idea how to do that.