User contributions for Punto7
Appearance
Results for Punto7 talk block log uploads logs global block log global account filter log
A user with 23 edits. Account created on 26 March 2008.
16 April 2008
- 17:0917:09, 16 April 2008 diff hist 4 Applicative universal grammar No edit summary
- 17:0817:08, 16 April 2008 diff hist 4 Applicative universal grammar No edit summary
- 07:2107:21, 16 April 2008 diff hist 36 Lambda calculus →See also
- 07:2007:20, 16 April 2008 diff hist 36 Combinatory logic →See also
- 07:2007:20, 16 April 2008 diff hist 36 Applicative universal grammar →See also
- 07:1907:19, 16 April 2008 diff hist 36 Categorical abstract machine →See also
- 07:1607:16, 16 April 2008 diff hist 20 Applicative computing systems →Further reading
- 07:1307:13, 16 April 2008 diff hist 3,220 N Applicative computing systems ←Created page with ''''Applicative computing systems''', or '''ACS''' are the systems of object calculi founded on combinatory logic and lambda calculus<re...'
- 05:4805:48, 16 April 2008 diff hist −4 Applicative universal grammar No edit summary
- 05:4105:41, 16 April 2008 diff hist 1 Applicative universal grammar No edit summary
- 05:4005:40, 16 April 2008 diff hist 903 N Applicative universal grammar ←Created page with ''''Applicative Universal Grammar'', or '''AUG''', is a universal semantic metalanguage intended for studying the semantic processes in particul...'
- 05:3305:33, 16 April 2008 diff hist 36 Universal grammar →See also
- 05:3005:30, 16 April 2008 diff hist 36 Applicative programming language →See Also
15 April 2008
- 19:2019:20, 15 April 2008 diff hist 1 N User:Punto7 ←Created page with '.' current
- 14:5514:55, 15 April 2008 diff hist 11 Categorical abstract machine →See also
- 14:5314:53, 15 April 2008 diff hist 35 Caml →See also
- 14:4414:44, 15 April 2008 diff hist 242 Categorical abstract machine →See also
- 14:4214:42, 15 April 2008 diff hist 35 Lambda calculus →See also
- 14:4014:40, 15 April 2008 diff hist 35 Combinatory logic →See also
- 14:3814:38, 15 April 2008 diff hist 35 Categorical abstract machine →Further reading
- 14:3314:33, 15 April 2008 diff hist 58 Categorical abstract machine →Further reading
- 14:3014:30, 15 April 2008 diff hist 103 Categorical abstract machine →Further reading
- 14:2414:24, 15 April 2008 diff hist 3,095 N Categorical abstract machine ←Created page with ''''Categorical abstract machine (CAM)''' — is the model of computation of a program<ref>''Cousineau G., Curien P.-L., Mauny M.'' The cate...'