The key terms to search for are "nonstandard calculus" or "nonstandard analysis". I just found the following set of lectures (but I haven't watched any of them); maybe they are what you want: https://www.youtube.com/watch?v=ILDkYszP2lA&list=PLDXeoTykA-...